4460 search results - page 159 / 892 » Formal methods for interactive systems |
161
click to vote
AAMAS
1999
Springer
15 years 3 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
100
click to vote
AIPS
1998
15 years 5 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
132
click to vote
PRL
2006
15 years 3 months ago
2006
This paper presents a general method for incorporating prior knowledge into kernel methods such as Support Vector Machines. It applies when the prior knowledge can be formalized b...
146
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
151
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Human activity is extremely complex. Current technology allows us to handcraft real-time perception systems for a specific perceptual task. However, such an approach is inadequate...