2370 search results - page 158 / 474 » The Characterization of Data-Accumulating Algorithms |
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
— In this paper we present information about our experiment with a social network of students from one school class. Each pupil has characterized his/her relationships to all sch...
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
131
click to vote
LPAR
2007
Springer
15 years 4 months ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
SFM
2007
Springer
15 years 4 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
— We characterize and improve an existing infrared relative localization/communication module used to find range and bearing between robots in small-scale multi-robot systems. M...