6456 search results - page 917 / 1292 » Constraint Solving on Terms |
166
click to vote
AAAI
2008
15 years 9 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
158
click to vote
LISA
2007
15 years 9 months ago
2007
The high rate of requirement changes make system administration a complex task. This complexity is further influenced by the increasing scale, unpredictable behaviour of software ...
165
click to vote
WSC
2008
15 years 9 months ago
2008
The typical approach to finding minimum levels of resources that still allow support and operational performance goals to be met for military aircraft is based on a manual trial-a...
211
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
166
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
This paper examines an under explored area of digital photography, namely photo display. Using examples from a study undertaken with six families, we examine photo displays on man...