9989 search results - page 1898 / 1998 » A CLP Approach to Modelling Systems |
135
click to vote
LOPSTR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
143
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
143
click to vote
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...
130
click to vote
ISCA
1997
IEEE
15 years 8 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
130
click to vote
PG
1997
IEEE
15 years 8 months ago
1997
IEEE
The last few years have seen great maturationin the computation speed and control methods needed to portray 3D virtualhumanssuitableforreal interactiveapplications. We first desc...