Sciweavers

5945 search results - page 384 / 1189
» A Model for Projection and Action
Sort
View
ICSM
2009
IEEE
16 years 2 months ago
Visualizing the Java heap demonstration proposal
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
Steven P. Reiss
LICS
2006
IEEE
16 years 1 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
UM
2005
Springer
16 years 1 months ago
Decision Theoretic Dialogue Planning for Initiative Problems
The taking of initiative has significance in spoken language dialogue systems and in human-computer interaction. A system that takes no initiative may fail to seize opportunities ...
Bryan McEleney, Gregory M. P. O'Hare
IDEAL
2004
Springer
16 years 28 days ago
Generating and Applying Rules for Interval Valued Fuzzy Observations
Abstract. One of the objectives of intelligent data engineering and automated learning is to develop algorithms that learn the environment, generate rules, and take possible course...
André de Korvin, Chenyi Hu, Ping Chen
PERCOM
2003
ACM
16 years 25 days ago
Recognition of Human Activity through Hierarchical Stochastic Learning
Seeking to extend the functional capability of the elderly, we explore the use of probabilistic methods to learn and recognise human activity in order to provide monitoring suppor...
Sebastian Lühr, Hung Hai Bui, Svetha Venkates...