Sciweavers

3812 search results - page 234 / 763
» Combinations of TRAP Based Systems
Sort
View
ENTCS
2000
109views more  ENTCS 2000»
15 years 6 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff
DIAL
2006
IEEE
167views Image Analysis» more  DIAL 2006»
16 years 19 days ago
Tree clustering for layout-based document image retrieval
We describe a system for the retrieval on the basis of layout similarity of document images belonging to collections stored in digital libraries. Layout regions are extracted and ...
Simone Marinai, Emanuele Marino, Giovanni Soda
EPIA
2001
Springer
15 years 11 months ago
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
PDPTA
2004
15 years 8 months ago
Hierarchical Scheduling for State-based Services
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
Jens Bruhn, Sven Kaffille, Guido Wirtz
CDC
2008
IEEE
121views Control Systems» more  CDC 2008»
16 years 1 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