Sciweavers

382 search results - page 13 / 77
» Reasoning about the Elementary Functions of Complex Analysis
Sort
View
ENTCS
2007
153views more  ENTCS 2007»
13 years 6 months ago
The Methods of Approximation and Lifting in Real Computation
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether de...
Manuel Lameiras Campagnolo, Kerry Ojakian
JITECH
2006
70views more  JITECH 2006»
13 years 6 months ago
Using coevolutionary and complexity theories to improve IS alignment: a multi-level approach
The misalignment of information systems (IS) components with the rest of an organization remains a critical and chronic unsolved problem in today's complex and turbulent worl...
Hind Benbya, Bill McKelvey
KI
2010
Springer
13 years 5 months ago
Spatial Cognition: Reasoning, Action, Interaction
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
Christian Freksa, Holger Schultheis, Kerstin Schil...
FLOPS
2004
Springer
14 years 3 days ago
DDT: a Declarative Debugging Tool for Functional-Logic Languages
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
Rafael Caballero, Mario Rodríguez-Artalejo
EACL
1993
ACL Anthology
13 years 8 months ago
A Tradeoff between Compositionality and Complexity in the Semantics of Dimensional Adjectives
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
Geoffrey Simmons