4290 search results - page 691 / 858 » Formal Approaches to Teamwork |
149
click to vote
IFM
2007
Springer
16 years 20 days ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
180
click to vote
ILP
2007
Springer
16 years 20 days ago
2007
Springer
: This paper is concerned with relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and relational learning or Inductive Logic Programming (ILP)...
174
click to vote
IPMI
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We propose a novel algorithm called graph-shifts for performing image segmentation and labeling. This algorithm makes use of a dynamic hierarchical representation of the ...
162
click to vote
LPAR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
154
click to vote
MODELS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...