1054 search results - page 52 / 211 » From a Verified Kernel towards Verified Systems |
182
click to vote
AAAI
2006
15 years 7 months ago
2006
The Robot Intelligence Kernel (RIK) is a portable, reconfigurable suite of perceptual, behavioral, and cognitive capabilities that can be used across many different platforms, env...
152
click to vote
MODELS
2007
Springer
16 years 7 days ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
192
click to vote
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a complete modeling system that extracts complex building structures with irregular shapes and surfaces. Our modeling approach is based on the use of airborne L...
153
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
158
click to vote
DIS
2006
Springer
15 years 9 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...