577 search results - page 97 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
ICCV
1999
IEEE
14 years 2 months ago
1999
IEEE
We show that the set of all ow- elds in a sequence of frames imaging a rigid scene resides in a lowdimensional linear subspace. Based on this observation, we develop a method for ...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evalua...
SDM
2010
SIAM
13 years 11 months ago
2010
SIAM
Many sorts of structured data are commonly stored in a multi-relational format of interrelated tables. Under this relational model, exploratory data analysis can be done by using ...
SIGECOM
2006
ACM
14 years 4 months ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...