Sciweavers

6709 search results - page 274 / 1342
» Performance Modelling of the Computational Hardware: A Stati...
Sort
View
FORMATS
2009
Springer
16 years 1 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
ARTS
1999
Springer
15 years 11 months ago
Specifying Performance Measures for PEPA
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
Graham Clark, Stephen Gilmore, Jane Hillston
ICPR
2006
IEEE
16 years 7 months ago
Box-like Superquadric Recovery in Range Images by Fusing Region and Boundary Information
This work contributes to the robotic bin-picking problem, and more specifically to the problem of localizing piled box-like objects. We employ range imagery, and use box-like Supe...
Dimitrios I. Kosmopoulos, Dimitrios Katsoulas
UIALL
2004
Springer
15 years 12 months ago
A Framework for Context-Sensitive Coordination of Human Interruptions in Human-Computer Interaction
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
Sonja Gievska, John L. Sibert
BC
2006
62views more  BC 2006»
15 years 6 months ago
Population approach to a neural discrimination task
Abstract This article gives insights into the possible neuronal processes involved in visual discrimination. We study the performance of a spiking network of Integrate-and-Fire (IF...
Benoit Gaillard, Hilary Buxton, Jianfeng Feng