1980 search results - page 318 / 396 » Compositional Model Checking of Real Time Systems |
163
Voted
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
152
Voted
AMDO
2000
Springer
15 years 6 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...
132
Voted
FGR
1996
IEEE
15 years 6 months ago
1996
IEEE
In this paper we rst describe how we have constructed a 3D deformable Point Distribution Model of the human hand, capturing training data semi-automatically from volume images via...
125
Voted
IJCAI
2007
15 years 4 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
106
Voted
BIOWIRE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this chapter we survey the most recent proposals for modelling user mobility in mobile pervasive networks, and specifically in opportunistic networks. We identify two...