Sciweavers

29172 search results - page 380 / 5835
» Modeling Systems in CLP
Sort
View
AIPR
2004
IEEE
15 years 10 months ago
An Image Retrieval System Using Multispectral Random Field Models, Color, and Geometric Features
This paper describes a novel color texture-based image retrieval system for the query of an image database to find similar images to a target image. The retrieval process involves...
Orlando J. Hernandez, Alireza Khotanzad
894
Voted
KER
2007
90views more  KER 2007»
15 years 6 months ago
Ontology-based models in pervasive computing systems
Pervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so s...
Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon
MVA
2007
156views Computer Vision» more  MVA 2007»
15 years 6 months ago
A system for articulated tracking incorporating a clothing model
Abstract In this paper an approach for motion capture of dressed people is presented. A cloth draping method is incorporated in a silhouette based motion capture system. This leads...
Bodo Rosenhahn, Uwe G. Kersting, Katie Powell, Rei...
ICFEM
2010
Springer
15 years 5 months ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...
ARES
1998
Springer
15 years 11 months ago
A Model of Interaction in Concurrent and Distributed Systems
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
Nat Pryce, Steve Crane