7366 search results - page 641 / 1474 » Development of the Information Systems Implementation Resear... |
186
click to vote
DSRT
2005
IEEE
16 years 21 days ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
171
click to vote
ICRA
2002
IEEE
16 years 14 hour ago
2002
IEEE
—Binary robotic devices with large degrees of freedom have been proposed by a number of researchers. However, experimental implementations of these concepts have been built with ...
179
click to vote
JAR
2007
15 years 7 months ago
2007
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
241
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
188
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...