1073 search results - page 107 / 215 » Reasoning about Continuous Processes |
123
Voted
AAAI
2006
15 years 4 months ago
2006
Both explanation-based and inductive learning techniques have proven successful in a variety of distributed domains. However, learning in multi-agent systems does not necessarily ...
86
Voted
AAAI
2006
15 years 4 months ago
2006
We present a novel approach to describe and reason about stateless information processing services. It can be seen as an extension of standard descriptions which makes explicit th...
124
Voted
IADIS
2003
15 years 4 months ago
2003
The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be more and more complex. Aspect oriented programming gives u...
100
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
We describe experiments in visual-only language identification (VLID), in which only lip shape, appearance and motion are used to determine the language of a spoken utterance. In...
113
Voted
JLP
2008
15 years 2 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...