1278 search results - page 160 / 256 » Programming Sensor Networks Using Abstract Regions |
114
Voted
BILDMED
2006
15 years 4 months ago
2006
Abstract. Magnetic Resonance Spectroscopic Imaging (MRSI) measures relative concentrations of metabolites in vivo and can thus be used for the diagnosis of certain tumors. We intro...
136
Voted
HCI
2009
15 years 12 days ago
2009
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...
141
Voted
FAC
2010
14 years 12 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
117
Voted
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
127
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Using a scenario of multiple mobile observing platforms (UAVs) measuring weather variables in distributed regions of the Pacific, we are developing algorithms that will ...