Sciweavers

315 search results - page 39 / 63
» Using Logic in the Generation of Referring Expressions
Sort
View
70
Voted
KBSE
2008
IEEE
15 years 3 months 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
63
Voted
JMLR
2010
97views more  JMLR 2010»
14 years 4 months 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»
15 years 9 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
107
Voted
CSI
2007
89views more  CSI 2007»
14 years 9 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...
104
Voted
CVPR
2009
IEEE
15 years 4 months 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