Sciweavers

476 search results - page 72 / 96
» The Complexity of Equality Constraint Languages
Sort
View
COMPSAC
2008
IEEE
14 years 4 months ago
Service-Oriented Modelling of Automotive Systems
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
Laura Bocchi, José Luiz Fiadeiro, Ant&oacut...
VL
2006
IEEE
158views Visual Languages» more  VL 2006»
14 years 4 months ago
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches
Parsing hand-drawn diagrams is a definitely complex recognition problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct w...
Giovanni Casella, Gennaro Costagliola, Vincenzo De...
AMW
2010
13 years 11 months ago
Generating XML/GML Schemas from Geographic Conceptual Schemas
Abstract. A large volume of data with complex structures is currently represented in GML (Geography Markup Language) for storing and exchanging geographic information. As the size ...
André C. Hora, Clodoveu A. Davis Jr., Mirel...
CP
2006
Springer
14 years 1 days ago
Distributed Stable Matching Problems with Ties and Incomplete Lists
We consider the Stable Marriage Problem and the Stable Roommates Problem in presence of ties and incomplete preference lists. They can be solved by centralized algorithms, but this...
Ismel Brito, Pedro Meseguer
CORR
2004
Springer
140views Education» more  CORR 2004»
13 years 10 months ago
Checking modes of HAL programs
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
Maria J. García de la Banda, Warwick Harvey...