Sciweavers

13784 search results - page 2379 / 2757
» On Computing Functions with Uncertainty
Sort
View
CSL
2008
Springer
15 years 8 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
DIMEA
2008
190views Multimedia» more  DIMEA 2008»
15 years 8 months ago
Bridging the gap between the digital and the physical: design and evaluation of a mobile augmented reality guide for the museum
Can Augmented Reality (AR) techniques inform the design and implementation of a mobile multimedia guide for the museum setting? Drawing from our experience both on previous mobile...
Areti Damala, Pierre Cubaud, Anne Bationo, Pascal ...
DMSN
2008
ACM
15 years 8 months ago
Stream-based macro-programming of wireless sensor, actuator network applications with SOSNA
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...
Marcin Karpinski, Vinny Cahill
EVOW
2008
Springer
15 years 8 months ago
Protein Interaction Inference Using Particle Swarm Optimization Algorithm
Many processes in the cell involve interaction among the proteins and determination of the networks of such interactions is of immense importance towards the complete understanding...
Mudassar Iqbal, Alex Alves Freitas, Colin G. Johns...
EVOW
2008
Springer
15 years 8 months ago
Scaffolding for Interactively Evolving Novel Drum Tracks for Existing Songs
Abstract. A major challenge in computer-generated music is to produce music that sounds natural. This paper introduces NEAT Drummer, which takes steps toward natural creativity. NE...
Amy K. Hoover, Michael P. Rosario, Kenneth O. Stan...
« Prev « First page 2379 / 2757 Last » Next »