2573 search results - page 265 / 515 » Combinations of Modal Logics |
191
click to vote
SCP
2010
15 years 5 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
157
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
With technology scaling, the occurrence rate of not only single, but also multiple transients resulting from a single hit is increasing. In this work, we consider the effect of th...
191
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Carbon Nanotube Field-Effect Transistors (CNFETs) show big promise as extensions to silicon-CMOS because: 1) Ideal CNFETs can provide significant energy and performance benefits o...
164
click to vote
ICTAI
2005
IEEE
16 years 7 days ago
2005
IEEE
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
178
click to vote
SAINT
2005
IEEE
16 years 7 days ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...