Sciweavers

734 search results - page 91 / 147
» A Question-Answering System Using Argumentation
Sort
View
CDC
2008
IEEE
121views Control Systems» more  CDC 2008»
14 years 4 months ago
On the characterisation of stabilisability by means of time-delayed feedback control
— In this paper we consider the stabilisability of nonlinear dynamical systems via time-delayed state and output feedback control. Based on an eigenvalue optimisation approach in...
H. J. C. Huijberts, Wim Michiels, Henk Nijmeijer
IPTPS
2003
Springer
14 years 2 months ago
Semantic-Free Referencing in Linked Distributed Systems
Every distributed system that employs linking requires a Reference Resolution Service (RRS) to convert link references to locations. We argue that the Web’s use of DNS for this ...
Hari Balakrishnan, Scott Shenker, Michael Walfish
KCAP
2005
ACM
14 years 3 months ago
Searching Web Resources Using Ontology Mappings
This paper proposes an ontology mapping based framerowk that allows searching for web resources using multiple ontologies. The proposed solution uses a mapping ontology that is a ...
Dragan Gasevic, Marek Hatala
CADE
2007
Springer
14 years 10 months ago
Predictive Labeling with Dependency Pairs Using SAT
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
Adam Koprowski, Aart Middeldorp
ICWL
2007
Springer
14 years 3 months ago
Using Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
Nguyen-Thinh Le, Wolfgang Menzel