999 search results - page 89 / 200 » Constraints in Non-Boolean Contexts |
206
click to vote
ICLP
2004
Springer
16 years 29 days ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
188
Voted
WAPCV
2004
Springer
16 years 28 days ago
2004
Springer
Detection of objects is in general a computationally demanding task. To simplify the problem it is of interest to focus the attention to a set of regions of interest. Indoor enviro...
181
click to vote
SCAM
2003
IEEE
16 years 26 days ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
183
Voted
IRAL
2000
ACM
15 years 12 months ago
2000
ACM
We propose a method to create process flow graphs automatically from textbooks for cooking programs. This is realized by understanding context by narrowing down the domain to cook...
212
click to vote
ESEC
1999
Springer
15 years 12 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...