272 search results - page 23 / 55 » Exploring the acceptability envelope |
JNW
2007
14 years 9 months ago
2007
Abstract— A location tracking sensor network is being deployed in several buildings at the University of Michigan to help explore issues in design of pervasive environments. Mana...
TVLSI
2008
14 years 9 months ago
2008
This paper describes a reconfigurable architecture based on field-programmable gate-array (FPGA) technology for monitoring and analyzing network traffic at increasingly high networ...
PSYCHNOLOGY
2008
14 years 9 months ago
2008
This paper analyzes the findings of a set of field studies that explored the use of near field communication (NFC) tags in a mixed reality environment for providing access to digi...
71
Voted
CORR
2008
Springer
14 years 8 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
104
click to vote
SIAMSC
2010
14 years 8 months ago
2010
A greedy algorithm for the construction of a reduced model with reduction in both parameter and state is developed for efficient solution of statistical inverse problems governed b...