626 search results - page 92 / 126 » When Can Formal Methods Make a Real Difference |
109
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Facilitation in GSS meetings is considered among the most important critical success factors for effective GSS application. A considerable amount of research on GSS facilitation h...
130
Voted
LOGCOM
2008
15 years 3 months ago
2008
Question Answering (QA) is a task that deserves more collaboration between Natural Language Processing (NLP) and Knowledge Representation (KR) communities, not only to introduce r...
212
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
Database queries are often exploratory and users often find their queries return too many answers, many of them irrelevant. Existing work either categorizes or ranks the results t...
138
click to vote
CRV
2006
IEEE
15 years 5 months ago
2006
IEEE
The retinex algorithm for lightness and color constancy is extended to include 3-dimensional spatial information reconstructed from a stereo image. A key aspect of traditional ret...
154
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Image artifacts that result from sensor dust are a common but annoying problem for many photographers. To reduce the appearance of dust in an image, we first formulate a model of ...