12193 search results - page 216 / 2439 » It's not all about |
189
click to vote
ITA
2002
15 years 6 months ago
2002
It is proposed to compare strategies in a parity game by comparing the sets of behaviours they allow. For such a game, there may be no winning strategy that encompasses all the be...
179
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
202
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
197
click to vote
VIS
2006
IEEE
2006
IEEE
Hub-based Simulation and Graphics Hardware Accelerated Visualization for Nanotechnology Applications
16 years 7 months ago
The Network for Computational Nanotechnology (NCN) has developed a science gateway at nanoHUB.org for nanotechnology education and research. Remote users can browse through online...
194
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...