Sciweavers

874 search results - page 122 / 175
» A Logic Framework for a Semantics of Object-Oriented Data Mo...
Sort
View
WWW
2004
ACM
14 years 9 months ago
OntoWeaver-S: Integrating Web Services into Data-Intensive Web Sites
Designing web sites is a complex task. Ad-hoc rapid prototyping easily leads to unsatisfactory results, e.g. poor maintainability and extensibility. However, existing web design f...
Yuangui Lei, Enrico Motta, John Domingue
CVPR
2007
IEEE
14 years 11 months ago
A Topic-Motion Model for Unsupervised Video Object Discovery
The bag-of-words representation has attracted a lot of attention recently in the field of object recognition. Based on the bag-of-words representation, topic models such as Probab...
David Liu, Tsuhan Chen
SARA
2009
Springer
14 years 1 months ago
Rewriting Constraint Models with Metamodels
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
Raphaël Chenouard, Laurent Granvilliers, Rica...
UAIS
2010
13 years 3 months ago
Auditory universal accessibility of data tables using naturally derived prosody specification
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
Dimitris Spiliotopoulos, Gerasimos Xydas, Georgios...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
14 years 25 days ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi