Sciweavers

3600 search results - page 92 / 720
» The settling-time reducibility ordering
Sort
View
PCM
2004
Springer
105views Multimedia» more  PCM 2004»
15 years 11 months ago
Transformation of MPEG-4 Contents for a PDA Device
We propose a transforming method of MPEG-4 contents in order to present the contents on PDA devices in this paper. The method reconstructs the mp4 file according to transforming a...
Sangwook Kim, Kyungdeok Kim, Sookyoung Lee
GLVLSI
1996
IEEE
145views VLSI» more  GLVLSI 1996»
15 years 10 months ago
Boolean Function Representation Using Parallel-Access Diagrams
Inthispaperweintroduceanondeterministiccounterpart to Reduced, Ordered Binary Decision Diagrams for the representation and manipulation of logic functions. ROBDDs are conceptually...
Valeria Bertacco, Maurizio Damiani
DEXA
2006
Springer
80views Database» more  DEXA 2006»
15 years 9 months ago
Scalable Automated Service Composition Using a Compact Directory Digest
The composition of services that are indexed in a large-scale service directory often involves many complex queries issued by the service composition algorithm to the directory. Th...
Walter Binder, Ion Constantinescu, Boi Faltings
CDC
2008
IEEE
169views Control Systems» more  CDC 2008»
15 years 8 months ago
Control of underactuated mechanical systems: Observer design and position feedback stabilization
We identify a class of mechanical systems for which a globally exponentially stable reduced order observer can be designed. The class is characterized by (the solvability of) a set...
Aneesh Venkatraman, Romeo Ortega, Ioannis Sarras, ...
IASTEDSE
2004
15 years 7 months ago
Flexible incremental development by integrating specification and code
This paper describes the use of executable specifications to ease incremental development, by providing more flexibility regarding the order in which modules are implemented. In t...
Patrick Schmid, Christine Hofmeister