3082 search results - page 251 / 617 » Deviation Analysis: A New Use of Model Checking |
187
click to vote
MOMM
2009
ACM
15 years 11 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
166
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
This research focuses on analysis of the grammatical functions between an adnoun clause and a noun phrase in Korean. The key task is to determine the relation between two constitu...
202
click to vote
3DOR
2008
15 years 9 months ago
2008
Mesh analysis and clustering have became important issues in order to improve the efficiency of common processing operations like compression, watermarking or simplification. In t...
178
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
This paper presents a new technique for modelling object classes (such as faces) and matching the model to novel images from the object class. The technique can be used for a vari...
204
click to vote
DRR
2011
14 years 6 months ago
2011
wking dtsets ville for peer reviewing of pulished doument nlysis methods or distriuting lrge ommonly used doument orpor for enhmrking re ...