1860 search results - page 151 / 372 » A Temporal Logic of Robustness |
122
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...
120
click to vote
SP
2002
IEEE
15 years 12 days ago
2002
IEEE
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
108
click to vote
CLEF
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
105
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—We investigate the design of a clean-slate control and nt plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of logically c...
131
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
In the digital VLSI cycle, logic transformations are often required to modify the design to meet different synthesis and optimization goals. Logic transformations on sequential ci...