8587 search results - page 380 / 1718 » Interactive dynamic abstraction |
148
click to vote
ICIP
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper describes a new algorithm for the recognition of human activities. These activities are modelled using banks of switched dynamical models, each of which is tailored to ...
177
click to vote
ICALP
2003
Springer
16 years 3 hour ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
189
click to vote
CONTEXT
1999
Springer
15 years 11 months ago
1999
Springer
AI and psychological approaches to context are contrasted and the dynamic and automatic nature of the continuous context change in human cognition is emphasized. A dynamic theory o...
209
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
153
click to vote
MMNS
2001
15 years 8 months ago
2001
Current network infrastructures are experiencing rapid transformation from providing mere connectivity, to a wider range of flexible network services with Quality of Service (QoS)....