2253 search results - page 173 / 451 » The ComFoRT Reasoning Framework |
83
Voted
ISCAS
2008
IEEE
15 years 5 months ago
2008
IEEE
— This paper presents ATLAS - a framework for automated analog circuit synthesis that comprises of both topology generation and subsequent circuit sizing. A hierarchically arrang...
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
— Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). Such a service has the potential to simplif...
ITNG
2006
IEEE
15 years 5 months ago
2006
IEEE
Radio Frequency Identification (RFID) technology is considered to be the next step in the revolution of supplychain management, retail, and beyond. To derive real benefit from RFI...
100
click to vote
ILP
2005
Springer
15 years 4 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
ESOP
2004
Springer
15 years 4 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...