Sciweavers

2629 search results - page 172 / 526
» Visual Simulation of Flow
Sort
View
EVOW
1999
Springer
15 years 9 months ago
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
AAI
2006
103views more  AAI 2006»
15 years 4 months ago
A generic time management service for distributed multi-agent systems
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
153
Voted
CSSE
2002
IEEE
15 years 4 months ago
Characteristics of assured service and an alternative RIO scheme in differentiated services networks
Assured Service, a service model of Internet Differentiated Services (DiffServ) architecture, is not so well accommodated by the current Internet environment. This is because the I...
Seung-Joon Seok, Sung-Hyuck Lee, Jinwoo Park, Chul...
128
Voted
TRECVID
2008
15 years 6 months ago
Dublin City University at TRECVID 2008
In this paper we describe our system and experiments performed for both the automatic search task and the event detection task in TRECVid 2008. For the automatic search task for 2...
Peter Wilkins, Philip Kelly, Ciarán O. Cona...
117
Voted
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 9 months ago
A bio-plausible design for visual attitude stabilization
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
Andrea Censi, Shuo Han, Sawyer B. Fuller, Richard ...