883 search results - page 35 / 177 » The Semantics of Verilog Using Transition System Combinators |
WS
2010
ACM
13 years 7 months ago
2010
ACM
This paper describes DLEJena, a practical reasoner for the OWL 2 RL profile that combines the forward-chaining rule engine of Jena and the Pellet DL reasoner. This combination is...
NAACL
1994
13 years 10 months ago
1994
In this paper we demonstrate that speech recognition can be effectively applied to information retrieval (IR) applications. Our system exploits the fact that the intended words of...
CL
2007
Springer
13 years 9 months ago
2007
Springer
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
KDD
2005
ACM
14 years 2 months ago
2005
ACM
Mining data streams is important in both science and commerce. Two major challenges are (1) the data may grow without limit so that it is difficult to retain a long history; and (...