1036 search results - page 70 / 208 » Incompleteness of Behavioral Logics |
137
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, we study the use of optical flow as a characteristic for tracking. We analyze the behavior of three flowbased observation models for particle filter algorithms, and...
124
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
114
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— The wavefront expansion is commonly used for path planning tasks and appreciated for its efficiency. However, the existing extensions able to handle currents are subject to in...
126
Voted
ACSD
2007
IEEE
15 years 10 months ago
2007
IEEE
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
105
Voted
RE
2007
Springer
15 years 9 months ago
2007
Springer
In industrial requirements documents natural language is the main presentation means. In such documents, system behavior is specified in the form of scenarios, written as a seque...