4401 search results - page 615 / 881 » Computing with Default Logic |
134
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
130
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
132
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
140
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
166
Voted
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...