Sciweavers

2801 search results - page 273 / 561
» On the Adequateness of the Connection Method
Sort
View
TCS
1998
15 years 6 months ago
Algebraic Translations, Correctness and Algebraic Compiler Construction
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
Theo M. V. Janssen
TROB
2002
114views more  TROB 2002»
15 years 6 months ago
Decentralized control of cooperative robotic vehicles: theory and application
This paper describes how decentralized control theory can be used to analyze the control of multiple cooperative robotic vehicles. Models of cooperation are discussed and related t...
John T. Feddema, Chris Lewis, David A. Schoenwald
PR
2008
200views more  PR 2008»
15 years 5 months ago
Text line detection in handwritten documents
In this paper, we present a new text line detection method for unconstrained handwritten documents. The proposed technique is based on a strategy that consists of three distinct s...
Georgios Louloudis, Basilios Gatos, Ioannis Pratik...
ISOLA
2010
Springer
15 years 5 months ago
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring
Abstract. Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an int...
Antonia Bertolino, Paola Inverardi, Valérie...
ISOLA
2010
Springer
15 years 5 months ago
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
Nikolay Stoimenov, Samarjit Chakraborty, Lothar Th...