Sciweavers

571 search results - page 4 / 115
» A principled approach to operating system construction in Ha...
Sort
View
ICDM
2010
IEEE
205views Data Mining» more  ICDM 2010»
13 years 5 months ago
Knowledge File System -- A Principled Approach to Personal Information Management
The Knowledge File System (KFS) is a smart virtual file system that sits between the operating system and the file system. Its primary functionality is to automatically organize fi...
Kuiyu Chang, I. Wayan Tresna Perdana, Bramandia Ra...
AAAI
1990
13 years 8 months ago
A Design Based Approach to Constructing Computational Solutions to Diagnostic Problems
Troubleshooting problems in real manufacturing environments impose constraints on admissible solutions that make the computational solutions offered by "troubleshooting from ...
D. Volovik, Imran A. Zualkernan, Paul E. Johnson, ...
COLING
1996
13 years 8 months ago
Goal Formulation based on Communicative Principles
The paper presents the Constructive Dialogue Model as a new approach to formulate system goals in intelligent dialogue systems. The departure point is in general communicative pri...
Kristiina Jokinen
HASKELL
2009
ACM
14 years 1 months ago
Lazy functional incremental parsing
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
Jean-Philippe Bernardy
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
14 years 28 days ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...