Sciweavers

2835 search results - page 202 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
163
Voted
ICSOC
2004
Springer
15 years 10 months ago
A service-oriented architecture for digital libraries
CiteSeer is currently a very large source of meta-data information on the World Wide Web (WWW). This meta-data is the key material for the Semantic Web. Still, CiteSeer is not yet...
Yves Petinot, C. Lee Giles, Vivek Bhatnagar, Prade...
PPOPP
2012
ACM
14 years 3 days ago
Massively parallel breadth first search using a tree-structured memory model
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
Tom St. John, Jack B. Dennis, Guang R. Gao
165
Voted
ICPR
2002
IEEE
16 years 5 months ago
Facial Expression Recognition Using Pseudo 3-D Hidden Markov Models
In this paper pseudo 3-D Hidden Markov Models (P3DHMMs) are applied to the task of dynamic facial expression recognition. P3DHMMs are an extension of the pseudo 2-D case, which ha...
Frank Hülsken, Frank Wallhoff, Gerhard Rigoll...
OTM
2005
Springer
15 years 10 months ago
Spatio-temporal Schema Integration with Validation: A Practical Approach
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
Anastasiya Sotnykova, Nadine Cullot, Christelle Va...
CAV
2011
Springer
207views Hardware» more  CAV 2011»
14 years 8 months ago
Interactive Synthesis of Code Snippets
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
Tihomir Gvero, Viktor Kuncak, Ruzica Piskac