Sciweavers

1163 search results - page 212 / 233
» Structure of Applicable Surfaces from Single Views
Sort
View
CDC
2009
IEEE
111views Control Systems» more  CDC 2009»
15 years 2 months ago
Geometric control of particle manipulation in a two-dimensional fluid
— Manipulation of particles suspended in fluids is crucial for many applications, such as precision machining, chemical processes, bio-engineering, and self-feeding of microorga...
Yizhar Or, Joris Vankerschaver, Scott D. Kelly, Ri...
76
Voted
CIKM
2001
Springer
15 years 2 months ago
Automatic Discovery of Salient Segments in Imperfect Speech Transcripts
This paper addresses the problem of automatic detection of salient video segments for real-world applications such as corporate training based on associated speech transcriptions....
Dulce B. Ponceleon, Savitha Srinivasan
FM
1999
Springer
109views Formal Methods» more  FM 1999»
15 years 1 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
DAM
2007
153views more  DAM 2007»
14 years 9 months ago
Computing the minimum number of hybridization events for a consistent evolutionary history
It is now well-documented that the structure of evolutionary relationships between a set of present-day species is not necessarily tree-like. The reason for this is that reticulat...
Magnus Bordewich, Charles Semple
TVLSI
1998
83views more  TVLSI 1998»
14 years 9 months ago
Low overhead fault-tolerant FPGA systems
— Fault-tolerance is an important system metric for many operating environments, from automotive to space exploration. The conventional technique for improving system reliability...
John Lach, William H. Mangione-Smith, Miodrag Potk...