Sciweavers

2542 search results - page 58 / 509
» An Operational Definition of Context
Sort
View
OSDI
2000
ACM
15 years 1 months ago
Knit: Component Composition for Systems Software
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay L...
ACL
1994
15 years 1 months ago
Priority Union and Generalization in Discourse Grammars
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...
Claire Grover, Chris Brew, Suresh Manandhar, Marc ...
87
Voted
WSC
1996
15 years 1 months ago
Modeling of Chain Conveyors and Their Equipment Interfaces
Chain conveyors are a specific type of conveyor often used in a variety of manufacturing and production applications, such as body and paint shops. These conveyors must typically ...
Ali K. Gunal, Edward J. Williams, Shigeru Sadakane
101
Voted
SLOGICA
2008
97views more  SLOGICA 2008»
15 years 14 days ago
A Generic Framework for Adaptive Vague Logics
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
Peter Verdée, Stephan van der Waart van Gul...
65
Voted
AAAI
1994
15 years 1 months ago
A Description Classifier for the Predicate Calculus
A description classifier organizes concepts and relations into a taxonomy based on the results of subsumption computations applied to pairs of relation definitions. Until now, des...
Robert M. MacGregor