1963 search results - page 72 / 393 » Applications of Preferences using Answer Set Programming |
113
click to vote
ECRTS
2003
IEEE
15 years 8 months ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
108
click to vote
TSE
2010
15 years 1 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
192
click to vote
ICDT
2009
ACM
16 years 3 months ago
2009
ACM
We study the problem of querying data sources that accept only a limited set of queries, such as sources accessible by Web services which can implement very large (potentially inf...
121
click to vote
ASSETS
2008
ACM
15 years 4 months ago
2008
ACM
Existing knowledge on how people use speech-based technologies in realistic settings is limited. We are conducting a longitudinal field study, spanning six months, to investigate ...
106
click to vote
SAS
2005
Springer
15 years 8 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...