523 search results - page 88 / 105 » Structured Solution Methods for Non-Markovian Decision Proce... |
119
click to vote
PDC
2004
ACM
15 years 7 months ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
109
click to vote
ACCV
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we describe a novel uncalibrated active stereo system using coded structured light. Structured-light-based active stereo systems generally consist of a camera and pr...
128
click to vote
CAV
1998
Springer
15 years 6 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
111
click to vote
IJCAI
2003
15 years 3 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
105
Voted
FIW
2009
14 years 11 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...