Sciweavers

266 search results - page 47 / 54
» Demonstration of the National Agricultural Decision Support ...
Sort
View
ICDE
1999
IEEE
101views Database» more  ICDE 1999»
14 years 8 months ago
Index Merging
Indexes play a vital role in decision support systems by reducing the cost of answering complex queries. A popular methodology for choosing indexes that is adopted by database adm...
Surajit Chaudhuri, Vivek R. Narasayya
POPL
2009
ACM
14 years 8 months ago
Unifying type checking and property checking for low-level code
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, ...
ICDAR
2009
IEEE
14 years 2 months ago
Information Extraction from Multimodal ECG Documents
With the rise of tools for clinical decision support, there is an increased need for automatic processing of electrocardiograms (ECG) documents. In fact, many systems have already...
Fei Wang, Tanveer Fathima Syeda-Mahmood, David Bey...
IV
2009
IEEE
187views Visualization» more  IV 2009»
14 years 2 months ago
Dynamic Mapping of Raster-Data for 3D Geovirtual Environments
Interactive 3D geovirtual environments (GeoVE), such as 3D virtual city and landscape models, are important tools to communicate geo-spatial information. Usually, this includes st...
Matthias Trapp, Jürgen Döllner
ACMICEC
2006
ACM
111views ECommerce» more  ACMICEC 2006»
13 years 11 months ago
Passive verification of the strategyproofness of mechanisms in open environments
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
Laura Kang, David C. Parkes