Sciweavers

2027 search results - page 247 / 406
» When is it best to best-respond
Sort
View
ICWE
2010
Springer
15 years 3 months ago
Designing Service Marts for Engineering Search Computing Applications
: The use of patterns in data management is not new: in data warehousing, data marts are simple conceptual schemas with exactly one core entity, describing facts, surrounded by mul...
Alessandro Campi, Stefano Ceri, Andrea Maesani, St...
CAV
2008
Springer
113views Hardware» more  CAV 2008»
15 years 3 months ago
Producing Short Counterexamples Using "Crucial Events"
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
Sujatha Kashyap, Vijay K. Garg
CIKM
2008
Springer
15 years 3 months ago
Semi-supervised text categorization by active search
In automated text categorization, given a small number of labeled documents, it is very challenging, if not impossible, to build a reliable classifier that is able to achieve high...
Zenglin Xu, Rong Jin, Kaizhu Huang, Michael R. Lyu...
AIPR
2006
IEEE
15 years 3 months ago
Semi-automated 3-D Building Extraction from Stereo Imagery
The production of geospatial information from overhead imagery is generally a labor-intensive process. Analysts must accurately delineate and extract important features, such as b...
Sung Chun Lee, Keith E. Price, Ramakant Nevatia, T...
ASSETS
2005
ACM
15 years 3 months ago
SmartColor: disambiguation framework for the colorblind
Failure in visual communication between the author and the colorblind reader is caused when color effects that the author expects for the reader to experience are not observed by...
Ken Wakita, Kenta Shimamura