Sciweavers

1022 search results - page 56 / 205
» Stable models and circumscription
Sort
View
MICCAI
2005
Springer
16 years 22 days ago
A Physical Model for DT-MRI Based Connectivity Map Computation
In this study we address the problem of extracting a robust connectivity metric for brain white matter. We defined the connectivity problem as an energy minimization task, by assoc...
Burak Acar, Erdem Yörük, Roland Bammer
IJCAI
2003
15 years 1 months ago
Logic Programs for Consistently Querying Data Integration Systems
We solve the problem of obtaining answers to queries posed to a mediated integration system un­ der the local-as-view paradigm that are consistent wrt to certain global integrity...
Loreto Bravo, Leopoldo E. Bertossi
RR
2009
Springer
15 years 6 months ago
A Reasoner for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
Stijn Heymans, Cristina Feier, Thomas Eiter
CDC
2008
IEEE
124views Control Systems» more  CDC 2008»
15 years 6 months ago
A passive 2DOF walker: Finding gait cycles using virtual holonomic constraints
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...
Leonid B. Freidovich, Uwe Mettin, Anton S. Shiriae...
ISCAS
2007
IEEE
105views Hardware» more  ISCAS 2007»
15 years 6 months ago
Stability Analysis of RED Gateway with Multiple TCP Reno Connections
— It has been observed that a bottleneck Random Early Detection (RED) gateway becomes oscillatory when regulating a flow in multiple TCP connections. The stability boundary of t...
Xi Chen, Siu Chung Wong, Chi K. Michael Tse, Ljilj...