10575 search results - page 1688 / 2115 » T2Script Programming Language |
170
click to vote
ICRA
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
167
click to vote
SEMCO
2007
IEEE
16 years 18 days ago
2007
IEEE
A clustering method is presented which can be applied to knowledge bases storing semantically annotated resources. The method can be used to discover groupings of structured objec...
170
click to vote
TASE
2007
IEEE
16 years 18 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
166
click to vote
VL
2007
IEEE
16 years 18 days ago
2007
IEEE
While using how-to documents for guidance in performing computer-based tasks, users often run into problems due to inaccurate, out-of-date and incomplete documentation. These prob...
157
click to vote
VL
2007
IEEE
16 years 18 days ago
2007
IEEE
When creating new application programming interfaces (APIs), designers must make many decisions. These decisions affect the quality of the resulting APIs in terms of performance (...