4745 search results - page 636 / 949 » Discretization: An Enabling Technique |
172
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
190
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
Nowadays, information overload hinders the discovery of business intelligence on the World Wide Web. Existing business intelligence tools suffer from a lack of analysis and visual...
202
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
192
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
191
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Continuous analytics systems that enable query processing over steams of data have emerged as key solutions for dealing with massive data volumes and demands for low latency. Thes...