571 search results - page 81 / 115 » Context Proceduralization in Decision Making |
CSL
2004
Springer
15 years 5 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...
SIGGRAPH
1996
ACM
15 years 3 months ago
1996
ACM
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...
105
click to vote
APGV
2006
ACM
15 years 1 months ago
2006
ACM
One of the most important, still unsolved problems in computer graphics is the generation of predictive imagery, i.e., images that represent perfect renditions of reality. Such pe...
IADIS
2004
15 years 1 months ago
2004
Automated Web usability analysis aims at obtaining a figure of the overall usability of a Web page or site by comparing objective page measures or indicators with statistical prof...