Sciweavers

1860 search results - page 154 / 372
» tools 2009
Sort
View
ICML
2009
IEEE
16 years 6 months ago
Model-free reinforcement learning as mixture learning
We cast model-free reinforcement learning as the problem of maximizing the likelihood of a probabilistic mixture model via sampling, addressing both the infinite and finite horizo...
Nikos Vlassis, Marc Toussaint
ICSE
2009
IEEE-ACM
16 years 6 months ago
ContextServ: A platform for rapid and flexible development of context-aware Web services
Context-aware Web services are currently emerging as an important technology for building innovative contextaware applications. Unfortunately, context-aware Web services are still...
Quan Z. Sheng, Sam Pohlenz, Jian Yu, Hoi S. Wong, ...
ECOOP
2009
Springer
16 years 6 months ago
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
Jan Smans, Bart Jacobs 0002, Frank Piessens
ICIAP
2009
ACM
16 years 6 months ago
Discrete Distortion for Surface Meshes
Abstract. Discrete distortion for two- and three-dimensional combinatorial manifolds is a discrete alternative to Ricci curvature known for differentiable manifolds. Here, we show ...
Mohammed Mostefa Mesmoudi, Leila De Floriani, Paol...
CHI
2009
ACM
16 years 6 months ago
Learning design principles for a collaborative information seeking system
While collaboration is a natural choice in many situations, there is a lack of specialized tools for collaboratively seeking information. We present design specifications and impl...
Chirag Shah, Gary Marchionini, Diane Kelly