4353 search results - page 161 / 871 » Expressiveness of Process Algebras |
142
click to vote
GIL
2009
15 years 2 months ago
2009
: Regulations and standards are playing an increasingly important role in crop production. Common to the vast majority of these is that they are written in a natural language which...
132
click to vote
TSD
2010
Springer
15 years 2 months ago
2010
Springer
This paper is focused on the evaluation of listening test that was realized with a view to objectively annotate expressive speech recordings and further develop a limited domain ex...
131
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
126
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of fitting a conic to a set of 2D points. It is commonly agreed that minimizing geometrical error, i.e. the sum of squared distances between the points and...
137
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...