Sciweavers

3951 search results - page 617 / 791
» Automatic amortized analysis
Sort
View
RTSS
2007
IEEE
15 years 12 months ago
Adapting Futures: Scalability for Real-World Computing
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
Johannes Helander, Risto Serg, Margus Veanes, Prit...
SEMCO
2007
IEEE
15 years 12 months ago
CDIP: Collection-Driven, yet Individuality-Preserving Automated Blog Tagging
With the success of blogs as popular information sharing media, searches on blogs have become popular. In the blogosphere, tagging is used as a means of annotating blog entries wi...
Jong Wook Kim, K. Selçuk Candan, Jun'ichi T...
SMI
2007
IEEE
106views Image Analysis» more  SMI 2007»
15 years 12 months ago
Iterative Methods for Improving Mesh Parameterizations
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
Shen Dong, Michael Garland
SMI
2007
IEEE
157views Image Analysis» more  SMI 2007»
15 years 12 months ago
Skeleton-based Hierarchical Shape Segmentation
We present an effective framework for segmenting 3D shapes into meaningful components using the curve skeleton. Our algorithm identifies a number of a critical points on the curv...
Dennie Reniers, Alexandru Telea
TASE
2007
IEEE
15 years 12 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...