677 search results - page 93 / 136 » Rigorous Object-Oriented Analysis |
99
Voted
ECAL
2003
Springer
15 years 6 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...
105
Voted
ICRA
2010
IEEE
14 years 11 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...
205
Voted
ICDE
2009
IEEE
16 years 2 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...
84
Voted
MOBIHOC
2003
ACM
16 years 12 days 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 ...
150
Voted
IRI
2009
IEEE
15 years 7 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...