1712 search results - page 174 / 343 » A Computational Approach to Binding Theory |
126
Voted
BIRTHDAY
2007
Springer
15 years 5 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
102
Voted
ECCV
2006
Springer
15 years 5 months ago
2006
Springer
In many image analysis applications there is a need to extract curves in noisy images. To achieve a more robust extraction, one can exploit correlations of oriented features over a...
151
Voted
OPODIS
2004
15 years 3 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
127
click to vote
MOBIHOC
2007
ACM
16 years 1 months ago
2007
ACM
Several centralized and distributed algorithms have been recently proposed to maximize the multicast lifetime for directional communications in wireless ad-hoc networks. Their per...
108
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...