2989 search results - page 578 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
IJCAI
1989
14 years 10 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Enumeration of bounded size cuts is an important step in several logic synthesis algorithms such as technology mapping and re-writing. The standard algorithm does not scale beyond...
IMC
2005
ACM
15 years 3 months ago
2005
ACM
Flow measurement evolved into the primary method for measuring the composition of Internet traffic. Large ISPs and small networks use it to track dominant applications, dominant ...
GISCIENCE
2010
Springer
14 years 10 months ago
2010
Springer
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
BMCBI
2008
14 years 9 months ago
2008
Background: In cancer research, most clinical variables have already been investigated and are now well established. The use of transcriptomic variables has raised two problems: r...