9110 search results - page 316 / 1822 » Formally-Based Design Evaluation |
179
click to vote
FLAIRS
2007
15 years 9 months ago
2007
General Game Playing is the problem of designing an agent capable of playing any previously unknown game when given only the rules. This paper describes the implementation archite...
145
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Prescribing in intensive care is a complex process involving a number of disciplines working in a highly stressful clinical environment. Within the National Health Service this pr...
240
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
In this paper, we present READY, a multi-threaded implementation of the CORBA Notification Service. The main contribution of our work is the design and development of scalable sol...
136
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Loudspeaker arrays usually are used in professional sound reinforcement systems to provide uniform sound coverage of the listening area. They can also be used for focusing the sou...
156
click to vote
ICANNGA
2007
Springer
16 years 23 days ago
2007
Springer
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...