Sciweavers

7213 search results - page 335 / 1443
» Automated model grouping
Sort
View
RR
2010
Springer
15 years 5 months ago
Usability of a Visual Language for DL Concept Descriptions
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
Fernando Náufel do Amaral
WSC
2004
15 years 8 months ago
Characterizations and Relationships of World Views
We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe t...
C. Michael Overstreet, Richard E. Nance
CSL
2007
Springer
15 years 10 months ago
Lambda Theories of Effective Lambda Models
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
Chantal Berline, Giulio Manzonetto, Antonino Salib...
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 10 months ago
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
Jeroen Keppens, Qiang Shen
KDD
2003
ACM
266views Data Mining» more  KDD 2003»
16 years 7 months ago
Applying data mining in investigating money laundering crimes
In this paper, we study the problem of applying data mining to facilitate the investigation of money laundering crimes (MLCs). We have identified a new paradigm of problems --- th...
Zhongfei (Mark) Zhang, John J. Salerno, Philip S. ...