3616 search results - page 425 / 724 » Conditional Memory Ordering |
75
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
A large number of methods for circle detection has been studied in the last years for numerous image processing applications. The application domain considered in this paper is th...
129
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
140
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
128
Voted
PODS
2008
ACM
16 years 3 months ago
2008
ACM
In the rank join problem, we are given a set of relations and a scoring function, and the goal is to return the join results with the top K scores. It is often the case in practic...
134
Voted
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
In order for pervasive computing to realize its full potential, pervasive applications have to be able to operate without support from fixed communication infrastructure at least ...