9730 search results - page 241 / 1946 » Relating models of backtracking |
105
click to vote
IJON
2007
15 years 4 months ago
2007
The mormyrid electric …sh displays extremely …ne temporal resolution as measured in behavioral studies. The …rst stage of sensory processing, the sensory a¤erents, also dis...
117
click to vote
IVC
2002
15 years 4 months ago
2002
When attempting to code faces for modeling or recognition, estimates of dimensions are typically obtained from an ensemble. These tend to be significantly sub-optimal. Firstly, en...
155
click to vote
INTELLCOMM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The increasing volume of digital communication is raising new challenges in the management of the information flow. We discuss the usage of context to infer presence info...
135
click to vote
CAV
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
164
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...