2632 search results - page 258 / 527 » Predictive Representations of State |
181
click to vote
ICPR
2008
IEEE
16 years 28 days ago
2008
IEEE
Mobile networked environments are typically resource constrained in terms of the available bandwidth and battery capacity on mobile devices. Realtime video applications entail the ...
188
click to vote
ROMAN
2007
IEEE
16 years 23 days ago
2007
IEEE
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
138
click to vote
KI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
158
click to vote
ITCC
2005
IEEE
16 years 2 days ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
168
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...