Sciweavers

3388 search results - page 582 / 678
» Type-theoretic design patterns
Sort
View
CGF
2005
109views more  CGF 2005»
13 years 10 months ago
GeoFilter: Geometric Selection of Mesh Filter Parameters
When designing a lowpass filter to eliminate noise in a triangle mesh, the cutoff frequency is typically chosen by a cumbersome trial-and-error process. Therefore, it is important...
ByungMoon Kim, Jarek Rossignac
TSE
2008
99views more  TSE 2008»
13 years 10 months ago
Modular Information Hiding and Type-Safe Linking for C
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
Saurabh Srivastava, Michael Hicks, Jeffrey S. Fost...
JNW
2007
90views more  JNW 2007»
13 years 10 months ago
A Traveling Wave based Communication Mechanism for Wireless Sensor Networks
Abstract— In this paper, we propose and evaluate a selforganizing communication mechanism for wireless sensor networks where a large number of sensor nodes are deployed. To accom...
Yoshiaki Taniguchi, Naoki Wakamiya, Masayuki Murat...
TSP
2008
131views more  TSP 2008»
13 years 10 months ago
Causal Compensation for Erasures in Frame Representations
In a variety of signal processing and communications contexts, erasures occur inadvertently or can be intentionally introduced as part of a data reduction strategy. This paper disc...
Petros Boufounos, Alan V. Oppenheim, Vivek K. Goya...
KBS
2007
103views more  KBS 2007»
13 years 10 months ago
Eye-tracking for user modeling in exploratory learning environments: An empirical evaluation
In this paper, we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during interaction with an environment for exploration-based ...
Cristina Conati, Christina Merten