2299 search results - page 206 / 460 » Logical Data Expiration |
167
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
A schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data ex...
121
click to vote
MLDM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe an algorithm called TargetCluster for the discretization of continuous targets in subgroup discovery. The algorithm identifies patterns in the target data an...
105
Voted
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a dialog-driven process model for the development of web-based applications that uses a graphical notation to model and iteratively refine the application’s dialog ...
123
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
125
click to vote
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present the next version (ver. 2.1) of the Rough Set Exploration System – a software tool featuring a library of methods and a graphical user interface supporting va...