Sciweavers

272 search results - page 32 / 55
» New directions in the introductory computer science curricul...
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 11 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
HICSS
2003
IEEE
193views Biometrics» more  HICSS 2003»
14 years 1 months ago
Ambient computing applications: an experience with the SPREAD approach
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
Paul Couderc, Michel Banâtre

Publication
275views
15 years 6 months ago
Line-art Illustration of Dynamic and Specular Surfaces
Line-art illustrations are effective tools for conveying shapes and shading of complex objects. We present a set of new algorithms to render line-art illustrations of dynamic and s...
Yongjin Kim, Jingyi Yu, Xuan Yu, Seungyong Lee
FUNGAMES
2008
13 years 9 months ago
Hypercomputation, Unconsciousness and Entertainment Technology
Recent developments in computer science introduce and discuss new concepts for computation beyond universal Turing machines. Quantum computing relates to new insights in quantum ph...
Matthias Rauterberg
CAD
2010
Springer
13 years 8 months ago
Feature aligned quad dominant remeshing using iterative local updates
In this paper we present a new algorithm which turns an unstructured triangle mesh into a quad-dominant mesh with edges well aligned to the principal directions of the underlying ...
Yu-Kun Lai, Leif Kobbelt, Shi-Min Hu