4617 search results - page 903 / 924 » Automation of Diagrammatic Reasoning |
187
click to vote
HICSS
2007
IEEE
16 years 17 days 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...
166
click to vote
ICDE
2007
IEEE
16 years 16 days 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...
153
click to vote
LICS
2007
IEEE
16 years 15 days ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
146
click to vote
LICS
2007
IEEE
16 years 15 days ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
166
click to vote
TPHOL
2007
IEEE
16 years 15 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...