3830 search results - page 123 / 766 » From Reference Model to Component Model |
114
click to vote
IJCAI
2007
15 years 2 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
100
Voted
VRST
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents an image-based walkthrough technique where reference images are sparsely sampled along a path. The technique relies on a simple user interface for rapid modeli...
96
Voted
WSC
1997
15 years 1 months ago
1997
An important problem often faced by simulation analysts is that of choosing (or selecting) one of several potential system designs. This can be accomplished by comparing output fr...
117
Voted
FLAIRS
2004
15 years 2 months ago
2004
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...
98
Voted
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...