3804 search results - page 505 / 761 » interactions 2008 |
158
Voted
EWRL
2008
15 years 8 months ago
2008
Abstract. We consider a control problem where the decision maker interacts with a standard Markov decision process with the exception that the reward functions vary arbitrarily ove...
199
click to vote
AMR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a prototype system for organization and exploration of music archives that adapts to the user's way of structuring music collections. Initially, a growing...
150
click to vote
FIS
2008
15 years 8 months ago
2008
The business model of Web2.0 applications like FaceBook, Flickr, YouTube and their likes is based on an asymmetry: Users generate content, Web2.0 application providers own, (i), th...
183
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
150
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...