677 search results - page 93 / 136 » Rigorous Object-Oriented Analysis |
ECAL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Self-replication is a fundamental property of many interesting physical, formal and biological systems, such as crystals, waves, automata, and especially forms of natural...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— While the most accurate solution to off-line structure from motion (SFM) problems is undoubtedly to extract as much correspondence information as possible and perform g...
ICDE
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract-- Particle simulation has become an important research tool in many scientific and engineering fields. Data generated by such simulations impose great challenges to databa...
MOBIHOC
2003
ACM
14 years 8 months ago
2003
ACM
In this paper we present GOAFR, a new geometric ad-hoc routing algorithm combining greedy and face routing. We evaluate this algorithm by both rigorous analysis and comprehensive ...
IRI
2009
IEEE
14 years 3 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...