9888 search results - page 1615 / 1978 » compute 2009 |
183
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
189
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
180
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
205
click to vote
CIARP
2009
Springer
16 years 1 months ago
2009
Springer
When we look at images taken from outdoor scenes, much of the information perceived is due to the ligthing conditions. In these scenes, the solar beams interact with the atmosphere...
163
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Clustering ensembles combine different clustering solutions into a single robust and stable one. Most of existing methods become highly time-consuming when the data size turns to ...