Sciweavers

5398 search results - page 849 / 1080
» On the Effective Use of Software Standards in Systems Integr...
Sort
View
ENTCS
2002
84views more  ENTCS 2002»
15 years 6 months ago
Programming Autonomous Robots in Curry
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
Michael Hanus, Klaus Höppner
ASPDAC
2005
ACM
140views Hardware» more  ASPDAC 2005»
16 years 7 days ago
A multi-level transmission line network approach for multi-giga hertz clock distribution
-In high performance systems, process variations and fluctuations of operating environments have significant impact on the clock skew. Recently, hybrid structures of H-tree and m...
Hongyu Chen, Chung-Kuan Cheng
ICIAP
1995
ACM
15 years 10 months ago
Image Retrieval by Elastic Matching of User Sketches
—Effective image retrieval by content from database requires that visual image properties are used instead of textual labels to properly index and recover pictorial data. Retriev...
Alberto Del Bimbo, Pietro Pala
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 6 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
IJIM
2010
96views more  IJIM 2010»
15 years 3 months ago
A Framework for Building an Interactive Satellite TV Based M-Learning Environment
This paper presents a description of an interactive satellite TV based mobile learning (STV-ML) framework, in which a satellite TV station is used as an integral part of a comprehe...
Ghassan Issa, Shakir Hussain, Hussein Al-Bahadili