8587 search results - page 1511 / 1718 » Interactive dynamic abstraction |
119
Voted
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Over the last decade a wide range of publish/subscribe (pub/ sub) systems have come out of the research community. However, there is little consensus on a common pub/sub API, whic...
155
click to vote
ECML
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Ensemble methods are able to improve the predictive performance of many base classifiers. Up till now, they have been applied to classifiers that predict a single target ...
139
Voted
FCT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
129
Voted
FROCOS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
154
Voted
EPIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Robots need to ground their external vocabulary and internal symbols in observations of the world. In recent works, this problem has been approached through combinations ...