Sciweavers

2060 search results - page 272 / 412
» Some Applications of Coding Theory in Computational Complexi...
Sort
View
RTCSA
2008
IEEE
15 years 11 months ago
CREAM: A Generic Build-Time Component Framework for Distributed Embedded Systems
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
Chetan Raj, Jiyong Park, Jungkeun Park, Seongsoo H...
SLE
2009
Springer
15 years 11 months ago
ScalaQL: Language-Integrated Database Queries for Scala
One of the most ubiquitous elements of modern computing is the relational database. Very few modern applications are created without some sort of database backend. Unfortunately, r...
Daniel Spiewak, Tian Zhao
SIGSOFT
2003
ACM
16 years 5 months ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...
SIAMCOMP
1998
92views more  SIAMCOMP 1998»
15 years 4 months ago
Surface Approximation and Geometric Partitions
Motivated by applications in computer graphics, visualization, and scienti c computation, we study the computational complexity of the following problem: Given a set S of n points...
Pankaj K. Agarwal, Subhash Suri
3DPVT
2006
IEEE
224views Visualization» more  3DPVT 2006»
15 years 10 months ago
3D Modeling Using Planar Segments and Mesh Elements
Range sensing technology allows the photorealistic modeling of large-scale scenes, such as urban structures. The generated 3D representations, after automated registration, are us...
Ioannis Stamos, Gene Yu, George Wolberg, Siavash Z...