Sciweavers

2189 search results - page 220 / 438
» A Graded Applicability of Rules
Sort
View
FROCOS
2011
Springer
12 years 9 months ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop
PERCOM
2007
ACM
14 years 9 months ago
Good Manners for Pervasive Computing--An Approach Based on the Ambient Calculus
When people interact, they follow distinct rules that coordinate the order of speech, who opens doors, whom and how to greet, and many things more. Such a social codex depends on ...
Gregor Schiele, Marcus Handte, Christian Becker
IISWC
2006
IEEE
14 years 3 months ago
An Architectural Characterization Study of Data Mining and Bioinformatics Workloads
— Data mining is the process of automatically finding implicit, previously unknown, and potentially useful information from large volumes of data. Recent advances in data extrac...
Berkin Özisikyilmaz, Ramanathan Narayanan, Jo...
KDD
2000
ACM
82views Data Mining» more  KDD 2000»
14 years 1 months ago
Exploration mining in diabetic patients databases: findings and conclusions
Real-life data mining applications are interesting because they often present a different set of problems for data miners. One such real-life application that we have done is on t...
Wynne Hsu, Mong-Li Lee, Bing Liu, Tok Wang Ling
CLEIEJ
2004
123views more  CLEIEJ 2004»
13 years 9 months ago
BMM: A Business Modeling Method For Information Systems Development
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a ...
Jonás A. Montilva Calderón, Judith B...