4120 search results - page 438 / 824 » Exploring ocean data |
159
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
152
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
An increasing percentage of the data needed by business applications is being generated in XML format. Storing the XML in its native format will facilitate new applications that e...
189
click to vote
WIA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...
129
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Questions of healthcare inequities have been of continuing concern to health researchers, planners, and policymakers. The answers to such questions can be difficult to interpret, ...
144
click to vote
INFOVIS
2003
IEEE
15 years 10 months ago
2003
IEEE
An increasing number of tasks require people to explore, navigate and search extremely complex data sets visualized as graphs. Examples include electrical and telecommunication ne...