4352 search results - page 582 / 871 » A Representation Theorem and Applications |
166
click to vote
HICSS
2006
IEEE
16 years 22 days ago
2006
IEEE
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
184
click to vote
ICCAD
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
153
Voted
ICRA
2006
IEEE
16 years 21 days ago
2006
IEEE
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...
139
click to vote
SCAM
2006
IEEE
16 years 20 days ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
172
click to vote
TIME
2006
IEEE
16 years 20 days ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...