3145 search results - page 108 / 629 » Algebraic Linear Orderings |
156
click to vote
ENTCS
2006
15 years 4 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
150
click to vote
ISSAC
2009
Springer
15 years 10 months ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
170
click to vote
APWEB
2004
Springer
15 years 9 months ago
2004
Springer
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...
152
Voted
EWDW
1990
15 years 8 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
116
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
We describe the application of genetic programming (GP) to a problem in pure mathematics, in the study of finite algebras. We document the production of human-competitive results...