Sciweavers

1836 search results - page 65 / 368
» Hierarchies for semantic classes
Sort
View
JAIR
2007
108views more  JAIR 2007»
14 years 9 months ago
Discovering Classes of Strongly Equivalent Logic Programs
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...
Fangzhen Lin, Yin Chen
ECOOP
2007
Springer
15 years 4 months ago
Matching Objects with Patterns
Data in object-oriented programming is organized in a hierarchy of classes. The problem of object-oriented pattern matching is how to explore this hierarchy from the outside. This ...
Burak Emir, Martin Odersky, John Williams
SBBD
2007
72views Database» more  SBBD 2007»
14 years 11 months ago
Similarity and Analogy over Application Domains
Abstract. Databases, particularly when storing heterogeneous, sparse semistructured data, tend to provide incomplete information and information which is difficult to categorize. T...
Simone Diniz Junqueira Barbosa, Karin Koogan Breit...
ICFP
2005
ACM
15 years 9 months ago
Associated type synonyms
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
PVLDB
2008
82views more  PVLDB 2008»
14 years 9 months ago
TraClass: trajectory classification using hierarchical region-based and trajectory-based clustering
Trajectory classification, i.e., model construction for predicting the class labels of moving objects based on their trajectories and other features, has many important, real-worl...
Jae-Gil Lee, Jiawei Han, Xiaolei Li, Hector Gonzal...