Sciweavers

2620 search results - page 315 / 524
» Qualities in Possible Worlds
Sort
View
CAINE
2010
15 years 4 months ago
Scrybe: A Tablet Interface for Virtual Environments
Virtual reality (VR) technology has the potential to provide unique perspectives of data that are not possible with standard desktop hardware. The tracking devices often found wit...
Roger V. Hoang, Joshua Hegie, Frederick C. Harris ...
FMAM
2010
223views Formal Methods» more  FMAM 2010»
15 years 4 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
SENSYS
2010
ACM
15 years 4 months ago
Efficient diagnostic tracing for wireless sensor networks
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
Vinaitheerthan Sundaram, Patrick Th. Eugster, Xian...
182
Voted
EUSFLAT
2009
209views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Application of Fuzzy Vectors of Normalized Weights in Decision Making Models
In this paper, the notion of a fuzzy vector of normalized weights is introduced, and its application in decision making models based on the weighted average operation is studied. T...
Ondrej Pavlacka, Jana Talasová
ICDE
2009
IEEE
178views Database» more  ICDE 2009»
15 years 4 months ago
Efficient Query Evaluation over Temporally Correlated Probabilistic Streams
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
Bhargav Kanagal, Amol Deshpande