2658 search results - page 215 / 532 » Micro-communication Element System |
160
Voted
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
160
click to vote
CBSE
2006
Springer
15 years 9 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
137
click to vote
ISER
2000
Springer
15 years 9 months ago
2000
Springer
: The ability to analyze individual cells rather than averaged properties over a population is a major step towards understanding the fundamental elements of biological systems. Re...
172
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
146
click to vote
WSC
2007
15 years 8 months ago
2007
One of the most important gaps in road safety management practises is the lack of mature methods for estimating reliability. Road safety performance assessment systems have been d...