660 search results - page 34 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
127
click to vote
ISMAR
2006
IEEE
15 years 8 months ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
104
click to vote
ENTCS
2007
15 years 2 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
93
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, we formalize the problem of Basic Graph Pattern (BGP) optimization for SPARQL queries and main memory graph implementations of RDF data. We define and analyze the c...
121
click to vote
ACSC
2000
IEEE
15 years 6 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
108
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Body sensor networks are emerging as a promising platform for healthcare monitoring. These systems are composed of battery-operated embedded devices which process physiological ...