5055 search results - page 202 / 1011 » Relative Timing |
116
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
— Nanoscale technologies provide both challenges and opportunities. We show that the issues and potential solutions facing designers are technology independent and arise mainly f...
203
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
179
click to vote
LREC
2010
15 years 7 months ago
2010
We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific t...
160
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates the existence of inseparable disjoint pairs of NP languages and related strong hypotheses in computational complexity. Our main theorem says that, if NP do...
246
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—Relational database management systems are general in the sense that they can handle arbitrary schemas, queries, and modifications; this generality is implemented using...