10038 search results - page 1724 / 2008 » Model Checking for Managers |
196
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
One useful feature that is missing from today’s database systems is an explain capability that enables users to seek clarifications on unexpected query results. There are two t...
205
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Public data sharing is utilized in a number of businesses to facilitate the exchange of information. Privacy constraints are usually enforced to prevent unwanted inference of info...
181
click to vote
TMM
2011
15 years 1 months ago
2011
—Visual categorization is important to manage large collections of digital images and video, where textual metadata is often incomplete or simply unavailable. The bag-of-words mo...
231
click to vote
TMI
2010
15 years 1 months ago
2010
Abstract--This work provides a model for tubular structures, and devises an algorithm to automatically extract tubular anatomical structures from medical imagery. Our model fits ma...
179
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
We study a novel problem of social context summarization for Web documents. Traditional summarization research has focused on extracting informative sentences from standard docume...