Sciweavers

5451 search results - page 289 / 1091
» On very high degrees
Sort
View
197
Voted
ROBOCUP
2007
Springer
140views Robotics» more  ROBOCUP 2007»
16 years 1 months ago
Tailored Real-Time Simulation for Teams of Humanoid Robots
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...
Martin Friedmann, Karen Petersen, Oskar von Stryk
193
Voted
SOFSEM
2007
Springer
16 years 1 months ago
Exact Max 2-Sat: Easier and Faster
Prior algorithms known for exactly solving Max 2-Sat improve upon the trivial upper bound only for very sparse instances. We present new algorithms for exactly solving (in fact, c...
Martin Fürer, Shiva Prasad Kasiviswanathan
201
Voted
APSEC
2006
IEEE
16 years 1 months ago
Evaluation of Source Code Updates in Software Development Based on Component Rank
Essential activities for the achievement of trouble-free software development are monitoring a software product and management of a software project. Monitoring changes that have ...
Reishi Yokomori, Masami Noro, Katsuro Inoue
DATE
2006
IEEE
78views Hardware» more  DATE 2006»
16 years 1 months ago
STAX: statistical crosstalk target set compaction
This paper presents STAX, a crosstalk target set compaction framework to reduce the complexity of the crosstalk ATPG process by pruning non-fault-producing targets. In general, ex...
Shahin Nazarian, Massoud Pedram, Sandeep K. Gupta,...
180
Voted
ICDM
2006
IEEE
98views Data Mining» more  ICDM 2006»
16 years 1 months ago
What is the Dimension of Your Binary Data?
Many 0/1 datasets have a very large number of variables; however, they are sparse and the dependency structure of the variables is simpler than the number of variables would sugge...
Nikolaj Tatti, Taneli Mielikäinen, Aristides ...