523 search results - page 50 / 105 » Structured Solution Methods for Non-Markovian Decision Proce... |
110
click to vote
ACMDIS
2000
ACM
15 years 6 months ago
2000
ACM
This paper describes the experience gained in the case study of adapting the Bridge, a GUI design method to the design of non-GUI interactive consumer products. An industrial desi...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
VLSID
2006
IEEE
16 years 2 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
135
click to vote
IGARSS
2010
14 years 11 months ago
2010
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...
107
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Teamwork is always challenging. Adding the complication of problem solving and software design only amplifies this challenge. The challenges of developing software as a team can b...