883 search results - page 144 / 177 » The Semantics of Verilog Using Transition System Combinators |
148
click to vote
AI
2004
Springer
15 years 5 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
152
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
213
click to vote
CCECE
2006
IEEE
15 years 12 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
145
click to vote
USITS
2001
15 years 7 months ago
2001
Abstract--This paper seeks to understand how network failures affect the availability of service delivery across wide-area networks (WANs) and to evaluate classes of techniques for...
177
click to vote
SSDBM
2005
IEEE
15 years 11 months ago
2005
IEEE
To discover knowledge or retrieve information from a relational database, a user often needs to find objects related to certain source objects. There are two main challenges in b...