2314 search results - page 201 / 463 » What is a Model |
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
130
click to vote
SIGARCH
2008
15 years 4 months ago
2008
This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an impe...
170
click to vote
PODC
2009
ACM
16 years 4 months ago
2009
ACM
We analyze the performance of protocols for load balancing in distributed systems based on no-regret algorithms from online learning theory. These protocols treat load balancing a...
128
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
151
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...