1995 search results - page 140 / 399 » What's the Problem |
135
Voted
CAP
2010
14 years 11 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
122
click to vote
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
This paper addresses two problems: “What are the appropriate methods for evaluating information systems?” and “How do we measure the impact of ambient information systems?...
142
click to vote
DMKD
2003
ACM
15 years 9 months ago
2003
ACM
Homeland security measures are increasing the amount of data collected, processed and mined. At the same time, owners of the data raised legitimate concern about their privacy and...
137
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
111
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper we introduce a robust matching technique that allows to operate a very accurate selection of corresponding feature points from multiple views. Robustness is achieved...