Sciweavers

5086 search results - page 22 / 1018
» The Power of Comparative Reasoning
Sort
View
CL
2000
Springer
13 years 8 months ago
Associative definition of programming languages
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluig...
LPAR
2010
Springer
13 years 6 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska
ICRA
2009
IEEE
165views Robotics» more  ICRA 2009»
14 years 3 months ago
Collision avoidance in dynamic environments: An ICS-based solution and its comparative evaluation
Abstract— This paper presents ICS-AVOID, a collision avoidance scheme based upon the concept of Inevitable Collision State (ICS), ie a state for which, no matter what the future ...
Luis Martinez-Gomez, Thierry Fraichard
CHI
2003
ACM
14 years 9 months ago
Combined model for text entry rate development
We combine the power law of learning and theoretical upper limit predictions to describe the development of text entry rates from users' first contact to asymptotic expert us...
Poika Isokoski, I. Scott MacKenzie
ICCD
2004
IEEE
106views Hardware» more  ICCD 2004»
14 years 5 months ago
A New Statistical Optimization Algorithm for Gate Sizing
— In this paper, we approach the gate sizing problem in VLSI circuits in the context of increasing variability of process and circuit parameters as technology scales into the nan...
Murari Mani, Michael Orshansky