17018 search results - page 292 / 3404 » From the How to the What |
161
click to vote
IIE
2007
15 years 6 months ago
2007
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...
196
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
203
click to vote
AIL
2004
15 years 6 months ago
2004
The paper identi es some of the problems with legal systems and outlines the potential of AI technology for overcoming them. For expository purposes, this outline is based on a si...
183
click to vote
NPAR
2010
ACM
15 years 11 months ago
2010
ACM
I argue that Non-Photorealistic Rendering (NPR) research will play a key role in the scientific understanding of visual art and illustration. NPR can contribute to scientific un...
186
click to vote
ECAL
1999
Springer
15 years 11 months ago
1999
Springer
How can we expect an A-life Agent to learn how to perform tasks when it is not told what those tasks are, and it is not provided any indication or feedback as to its performance? ...