14850 search results - page 350 / 2970 » A Geometric Approach to Betweenness |
176
click to vote
ASM
2005
ASM
16 years 10 days ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
148
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, the formation control problem for unicycle mobile robots is studied. A virtual structure control strategy with mutual coupling between the robots is proposed.
164
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
This paper explores the size and value effect in influencing performance of individual companies using backpropagation neural networks. According to existing theory, companies wit...
170
click to vote
ACL
2008
15 years 8 months ago
2008
We define a new formalism, based on Sikkel's parsing schemata for constituency parsers, that can be used to describe, analyze and compare dependency parsing algorithms. This ...
130
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
We present a prototype system using array comprehensions to bridge the gap between databases and information retrieval. It allows researchers to express their retrieval models in t...