10585 search results - page 1708 / 2117 » The Orc Programming Language |
141
click to vote
ICRA
2007
IEEE
15 years 11 months 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...
147
click to vote
SEMCO
2007
IEEE
15 years 11 months 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...
145
click to vote
TASE
2007
IEEE
15 years 11 months 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...
149
click to vote
VL
2007
IEEE
15 years 11 months 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...
140
Voted
VL
2007
IEEE
15 years 11 months 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 (...