2308 search results - page 431 / 462 » Representing Symbolic Reasoning |
151
click to vote
DASFAA
2007
IEEE
15 years 11 months ago
2007
IEEE
TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of applying conventional SQL queries for analyzing a wide spectrum of data streams. As applic...
175
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
152
Voted
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
The strength of GIS is in providing a rich data infrastructure for combining disparate data in meaningful ways by using a spatial arrangement (e.g., proximity). As a toolbox, a GI...
162
click to vote
SEMCO
2007
IEEE
15 years 11 months ago
2007
IEEE
One of the key objectives of web service technology is to construct processes that enable service providers to inter-connect with their clients. The industry has developed the UDD...
159
Voted
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...