3828 search results - page 677 / 766 » Proof-Based System Engineering Using a Virtual System Model |
126
click to vote
PDCAT
2005
Springer
15 years 7 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...
ICML
2005
IEEE
16 years 3 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...
136
click to vote
WWW
2007
ACM
16 years 3 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 ...
116
click to vote
IROS
2007
IEEE
15 years 8 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...
114
click to vote
CP
2007
Springer
15 years 8 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...