Sciweavers

2324 search results - page 312 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
DAC
2006
ACM
15 years 5 days ago
Systematic software-based self-test for pipelined processors
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
Mihalis Psarakis, Dimitris Gizopoulos, Miltiadis H...
AAAI
1996
14 years 11 months ago
What Is Planning in the Presence of Sensing?
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
Hector J. Levesque
105
Voted
ER
2007
Springer
187views Database» more  ER 2007»
15 years 4 months ago
Metamodeling Integration Architecture for Open Biomedical Ontologies: The GO Extensions' Case Study
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
Marie-Noëlle Terrasse, Marinette Savonnet, Er...
81
Voted
AIME
2005
Springer
15 years 3 months ago
AI Planning Technology as a Component of Computerised Clinical Practice Guidelines
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
Kirsty Bradbrook, Graham Winstanley, David Glasspo...
91
Voted
ICIDS
2010
Springer
14 years 8 months ago
Crowd-Sourced AI Authoring with ENIGMA
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
Michael Kriegel, Ruth Aylett