Sciweavers

6651 search results - page 949 / 1331
» Translating Web Data
Sort
View
LREC
2010
223views Education» more  LREC 2010»
15 years 8 months ago
An API for Multi-lingual Ontology Matching
Ontology matching consists of generating a set of correspondences between the entities of two ontologies. This process is seen as a solution to data heterogeneity in ontology-base...
Cássia Trojahn dos Santos, Paulo Quaresma, ...
FMOODS
2008
15 years 8 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
LREC
2008
119views Education» more  LREC 2008»
15 years 8 months ago
What's in a Colour? Studying and Contrasting Colours with COMPARA
In this paper we present contrastive colour studies done using COMPARA, the largest edited parallel corpus in the world (as far as we know). The studies were the result of semanti...
Diana Santos, Maria do Rosário Silva, Susan...
IJCAI
2007
15 years 8 months ago
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem
A key issue in artificial intelligence lies in finding the amount of input detail needed to do successful learning. Too much detail causes overhead and makes learning prone to ove...
Daniel T. Halstead, Kenneth D. Forbus