4008 search results - page 333 / 802 » An expressive language of signatures |
156
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
We discuss the gap we experience in an industrial design path of high-speed packet switches. As bandwidth demand exceeds progress in CMOS technology, system architects are forced ...
156
click to vote
PPDP
2000
Springer
15 years 10 months ago
2000
Springer
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
158
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...
184
click to vote
AAAI
2006
15 years 8 months ago
2006
We present an algorithm that derives actions' effects and preconditions in partially observable, relational domains. Our algorithm has two unique features: an expressive rela...
181
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...