Sciweavers

3954 search results - page 416 / 791
» Image-based Model Completion
Sort
View
AAAI
1990
15 years 6 months ago
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
Gerhard Lakemeyer
157
Voted
CORR
2008
Springer
208views Education» more  CORR 2008»
15 years 5 months ago
Equilibria, Fixed Points, and Complexity Classes
Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing o...
Mihalis Yannakakis
157
Voted
ENTCS
2008
153views more  ENTCS 2008»
15 years 5 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
ESWA
2008
124views more  ESWA 2008»
15 years 5 months ago
An expert system for dynamic re-coordination of distributed workflows
A persistent problem in the use of automated workflow management systems for inter-organizational workflows has been the need for manual redefinition of coordination points in the...
William L. Kuechler Jr., Vijay K. Vaishnavi
IJON
2007
81views more  IJON 2007»
15 years 4 months ago
Statistical analysis of spatially embedded networks: From grid to random node positions
Many conceptual studies of local cortical networks assume completely random wiring. For spatially extended networks, however, such random graph models are inadequate. The geometry...
Nicole Voges, Ad Aertsen, Stefan Rotter