2501 search results - page 187 / 501 » Logics with Rank Operators |
119
click to vote
EH
2002
IEEE
15 years 9 months ago
2002
IEEE
The availability of SiGe HBT devices has opened the door for Gigahertz FPGAs. Speeds over 5GHz have been reported. However, to make the idea practical, serious power management an...
151
Voted
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
153
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
125
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
180
click to vote
AI
2001
Springer
15 years 8 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...