1176 search results - page 119 / 236 » Implicit Abstraction Heuristics |
132
Voted
WWIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. To interconnect a wireless sensor network (WSN) to the Internet, we propose to use TCP/IP as the standard protocol for all network entities. We present a cross layer desi...
96
Voted
DNA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
89
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
99
Voted
ISAAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present the first adaptive data structure for two-dimensional orthogonal range search. Our data structure is adaptive in the sense that it gives improved search perfo...
89
Voted
MLDM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Regression models are often required for controlling production processes by predicting parameter values. However, the implicit assumption of standard regression techniqu...