17049 search results - page 139 / 3410 » cans 2007 |
129
click to vote
ACTA
2004
15 years 3 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...
119
click to vote
BNCOD
2003
15 years 5 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...
140
click to vote
IQ
1997
15 years 5 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...
101
click to vote
CCE
2006
15 years 4 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...
129
click to vote
ACL
2007
15 years 5 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...