199 search results - page 14 / 40 » Adequate formalization |
POPL
2010
ACM
14 years 4 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
INTERACT
2007
13 years 8 months ago
2007
Nowadays, accessibility is a crucial factor for Web site development and use, and yet, people with visual disabilities face many accessibility barriers that hinder the adequate un...
CODES
2002
IEEE
14 years 11 days ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
COSIT
1997
Springer
13 years 11 months ago
1997
Springer
We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus de...