Sciweavers

315 search results - page 39 / 63
» Using Logic in the Generation of Referring Expressions
Sort
View
KBSE
2008
IEEE
16 years 13 days ago
Inferring Finite-State Models with Temporal Constraints
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
Neil Walkinshaw, Kirill Bogdanov
JMLR
2010
97views more  JMLR 2010»
15 years 25 days ago
Evaluation of a Bayesian model-based approach in GA studies
In a typical Genetic Association Study (GAS) several hundreds to millions of genomic variables are measured and tested for association with a given set of a phenotypic variables (...
Gábor Hullám, Peter Antal, Csaba Sza...
SIGMOD
2009
ACM
220views Database» more  SIGMOD 2009»
16 years 6 months ago
Keyword search in databases: the power of RDBMS
Keyword search in relational databases (RDBs) has been extensively studied recently. A keyword search (or a keyword query) in RDBs is specified by a set of keywords to explore the...
Lu Qin, Jeffrey Xu Yu, Lijun Chang
CSI
2007
89views more  CSI 2007»
15 years 6 months ago
Writing and executing ODP computational viewpoint specifications using Maude
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
José Raúl Romero, Antonio Vallecillo...
CVPR
2009
IEEE
16 years 26 days ago
On compositional Image Alignment, with an application to Active Appearance Models
Efficient and accurate fitting of Active Appearance Models (AAM) is a key requirement for many applications. The most efficient fitting algorithm today is Inverse Compositiona...
Brian Amberg, Andrew Blake, Thomas Vetter