2929 search results - page 473 / 586 » Robust Hand Detection |
201
click to vote
WLP
2007
Springer
15 years 12 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
159
click to vote
CONEXT
2006
ACM
15 years 11 months ago
2006
ACM
Network traffic matrices are important for various network planning and management operations. Previous work for estimation of traffic matrices is based on either link load record...
150
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
153
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Microscopic analysis of malicious code (malware) requires the aid of a variety of powerful tools. Chief among them is a debugger that enables runtime binary analysis at an instruc...
202
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...