42738 search results - page 260 / 8548 » Search Computing Systems |
106
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
141
Voted
ISMAR
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we propose a method for overlaying an arbitrary texture image onto a surface of a plain T-shirt worn by a user. For overlaying arbitrary textures onto the surface o...
142
Voted
ACMIDC
2010
15 years 7 months ago
2010
Despite several efforts to make search engines more childfriendly, children still have trouble using systems that require keyboard input. We present TeddIR: a system using a tangi...
119
Voted
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...
169
Voted
ILP
2004
Springer
15 years 9 months ago
2004
Springer
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...