3653 search results - page 214 / 731 » On Recognizable Timed Languages |
132
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
C-SPARQL is an extension of SPARQL to support continuous queries over RDF data streams. Supporting streams in RDF format guarantees interoperability and opens up important applica...
139
Voted
STACS
2010
Springer
16 years 14 days 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...
193
click to vote
ENC
2008
IEEE
15 years 12 months ago
2008
IEEE
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
115
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...
127
click to vote
IFL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...