Sciweavers

1064 search results - page 176 / 213
» Neuro-Wavelet Parametric Modeling
Sort
View
ITC
2003
IEEE
127views Hardware» more  ITC 2003»
15 years 3 months ago
Testing of Droplet-Based Microelectrofluidic Systems
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
Fei Su, Sule Ozev, Krishnendu Chakrabarty
SMA
2003
ACM
15 years 3 months ago
Geometric constraint solving via C-tree decomposition
This paper has two parts. First, we propose a method which can be used to decompose a geometric constraint graph into a c-tree. With this decomposition, solving for a well-constrai...
Xiao-Shan Gao, Gui-Fang Zhang
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 3 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
ECAL
2003
Springer
15 years 3 months ago
Representation of Genotype and Phenotype in a Coherent Framework Based on Extended L-Systems
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
Ole Kniemeyer, Gerhard H. Buck-Sorlin, Winfried Ku...
ICIAP
2003
ACM
15 years 3 months ago
Towards automatic 3D reconstruction of urban scenes from low-altitude aerial images
We propose a methodology for reconstructing large– scale architectural scenes from low–altitude aerial images, in an efficient, accurate and fully automatic way. Towards this...
Adriano B. Huguet, Rodrigo L. Carceroni, Arnaldo d...