4037 search results - page 377 / 808 » Routing without ordering |
117
click to vote
PADL
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
130
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
To detect multiple objects of interest, the methods based on Hough transform use non-maxima supression or mode seeking in order to locate and to distinguish peaks in Hough images....
115
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Data integration has been an important area of research for several years. However, such systems suffer from one of the main drawbacks of database systems: the need to invest signi...
96
Voted
CP
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a new approach for solving disjunctive temporal problems such as the open shop and job shop scheduling domains. Much previous research in systematic search app...
167
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...