10159 search results - page 1677 / 2032 » System Design Validation Using Formal Models |
180
click to vote
AROBOTS
2007
15 years 7 months ago
2007
— A team of small, low-cost robots instead of a single large, complex robot is useful in operations such as search and rescue, urban exploration etc. However, the performance of ...
187
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
In recent years, the number of patents filed by the business enterprises in the technology industry are growing rapidly, thus providing unprecedented opportunities for knowledge d...
154
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
ion and Extensibility in Digital Logic Simulation Software Richard M. Salter and John L. Donaldson Computer Science Department Oberlin College Oberlin, OH 44074 rms@cs.oberlin.edu,...
149
click to vote
HT
2006
ACM
16 years 23 days ago
2006
ACM
This paper presents a new definition of context for contextaware computing based on a model that relies on dynamic queries over structured objects. This new model enables develop...
188
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...