16725 search results - page 2790 / 3345 » Engineering Software Correctness |
181
click to vote
GECCO
2005
Springer
16 years 16 days ago
2005
Springer
This research presents an analysis of the reported successes of the Cartesian Genetic Programming method on a simplified form of the Boolean parity problem. We show the method of...
231
click to vote
ICCS
2005
Springer
16 years 16 days ago
2005
Springer
The main claim of this paper is that machine learning can help integrate the construction of ontologies and extraction grammars and lead us closer to the Semantic Web vision. The p...
224
click to vote
ICESS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. In ad hoc sensor networks, sensor nodes have very limited energy resources, thus energy consuming operations such as data collection, transmission and reception must be k...
178
click to vote
ICESS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
177
click to vote
ICFEM
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...