171 search results - page 6 / 35 » Exploring Very Low-Energy Logic: A Case Study |
CADE
2012
Springer
12 years 11 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
DEXA
1995
Springer
15 years 29 days ago
1995
Springer
To support applications, such as efficient browsing in large knowledge bases and cooperative knowledge discovery in large databases, the concept of rule similarity is essential. In...
IV
2006
IEEE
15 years 3 months ago
2006
IEEE
Most applications in physical calculations provide powerful multivariate outputs but use rather simple visual representations (diagrams) without the possibilities to explore the r...
107
click to vote
ASP
2005
Springer
15 years 3 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
BMCBI
2007
14 years 9 months ago
2007
Background: DNA microarray experiments are conducted in logical sets, such as time course profiling after a treatment is applied to the samples, or comparisons of the samples unde...