3001 search results - page 557 / 601 » Recursive type generativity |
137
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Detecting shadows from images can significantly improve the performance of several vision tasks such as object detection and tracking. Recent approaches have mainly used illuminat...
153
click to vote
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
108
click to vote
SAINT
2002
IEEE
15 years 6 months ago
2002
IEEE
Disconnection is one of the popular techniques for operating in mobile environments and is here to stay, until long-range wireless connectivity becomes a reality. However, disconn...
122
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Continuous analytics systems that enable query processing over steams of data have emerged as key solutions for dealing with massive data volumes and demands for low latency. Thes...
139
click to vote
DIS
2001
Springer
15 years 6 months ago
2001
Springer
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...