1036 search results - page 70 / 208 » Incompleteness of Behavioral Logics |
ICPR
2004
IEEE
14 years 10 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...
ERSHOV
2009
Springer
14 years 3 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 ...
ICRA
2008
IEEE
14 years 3 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...
ACSD
2007
IEEE
14 years 3 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...
RE
2007
Springer
14 years 2 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...