3828 search results - page 677 / 766 » Proof-Based System Engineering Using a Virtual System Model |
149
click to vote
PDCAT
2005
Springer
15 years 10 months ago
2005
Springer
Recently a bulk of research [14, 5, 15, 9] has been done on the modelling of the smallworld phenomenon, which has been shown to be pervasive in social and nature networks, and eng...
112
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
We propose machine learning methods for the estimation of deformation fields that transform two given objects into each other, thereby establishing a dense point to point correspo...
153
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
ma's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not ...
134
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
134
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...