Sciweavers

2672 search results - page 76 / 535
» Hybridizing Concept Languages
Sort
View
JLP
2006
126views more  JLP 2006»
13 years 7 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
SEW
2006
IEEE
14 years 1 months ago
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behr...
GECCO
2006
Springer
164views Optimization» more  GECCO 2006»
13 years 11 months ago
A fast hybrid genetic algorithm for the quadratic assignment problem
Genetic algorithms (GAs) have recently become very popular by solving combinatorial optimization problems. In this paper, we propose an extension of the hybrid genetic algorithm f...
Alfonsas Misevicius
SSD
2009
Springer
128views Database» more  SSD 2009»
14 years 7 days ago
TOQL: Temporal Ontology Querying Language
We introduce TOQL, a query language for querying time information in ontologies. TOQL is a high level query language that handles ontologies almost like relational databases. Queri...
Evdoxios Baratis, Euripides G. M. Petrakis, Sotiri...
ICASSP
2009
IEEE
13 years 5 months ago
Spoken language interpretation: On the use of dynamic Bayesian networks for semantic composition
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...
Marie-Jean Meurs, Fabrice Lefevre, Renato de Mori