Sciweavers

9888 search results - page 330 / 1978
» compute 2009
Sort
View
WOLLIC
2009
Springer
16 years 2 months ago
On-the-Fly Macros
Abstract. We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and ...
Hubie Chen, Omer Giménez
CSIE
2009
IEEE
16 years 9 days ago
Parallel Processing and Large-Field Electron Microscope Tomography
We review some recent progress in improving the speed of electron microscope tomography through highly parallel algorithms implemented on parallel computers, clusters and graphics...
Albert Lawrence, Sebastien Phan, Rajvikram Singh
ICSE
2009
IEEE-ACM
16 years 8 months ago
Validation of contracts using enabledness preserving finite state abstractions
ess Preserving Finite State Abstractions Guido de Caso V?ctor Braberman Diego Garbervetsky Sebasti?n Uchitel Departamento de Computaci?n, FCEyN, UBA. Buenos Aires, Argentina Depa...
Diego Garbervetsky, Guido de Caso, Sebastiá...
TAP
2009
Springer
96views Hardware» more  TAP 2009»
16 years 2 months ago
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / ...
Stefan Ratschan, Jan-Georg Smaus
TSD
2009
Springer
16 years 2 months ago
Hybrid Semantic Analysis
— This article is focused on the problem of meaning recognition in spoken utterances. The goal is to find a computer algorithm capable to construct the meaning description of a ...
Miloslav Konopík, Ivan Habernal