17049 search results - page 139 / 3410 » cans 2007 |
ACTA
2004
13 years 10 months ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
BNCOD
2003
13 years 11 months ago
2003
This paper describes ProSQL, a novel prototyping tool to support the development of extensions to SQL. ProSQL provides a simple way to prototype the features of a proposed extensio...
IQ
1997
13 years 11 months ago
1997
Implementing a Total Data Quality Management (TDQM) program is not a trivial undertaking. Two key steps are (1) to clearly define what an organization means by data quality and (2...
CCE
2006
13 years 10 months ago
2006
The regulatory architecture responsible for robust maintenance of 24 h cycles is analyzed as a control system. At the gene regulatory level, it is shown that performance attribute...
ACL
2007
13 years 11 months ago
2007
We present a new approach to relation extraction that requires only a handful of training examples. Given a few pairs of named entities known to exhibit or not exhibit a particula...