Sciweavers

6308 search results - page 1162 / 1262
» Modeling Urgency in Timed Systems
Sort
View
114
Voted
APGV
2007
ACM
104views Visualization» more  APGV 2007»
15 years 8 months ago
On the empirical limits of billboard rotation
This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in a...
Elodie Fourquet, William Cowan, Stephen Mann
GW
2007
Springer
134views Biometrics» more  GW 2007»
15 years 8 months ago
String Bowing Gestures at Varying Bow Stroke Frequencies: A Case Study
Abstract. The understanding of different bowing strategies can provide key concepts for the modelling of music performance. We report here an exploratory study of bowing gestures f...
Nicolas H. Rasamimanana, Delphine Bernardin, Marce...
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 8 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
114
Voted
ATAL
2006
Springer
15 years 8 months ago
Tractable negotiation in tree-structured domains
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet
EEE
2004
IEEE
15 years 7 months ago
Value-Based Design of Collaboration Processes for e-Commerce
Designing cross-organizational e-business applications faces the problem that the collaborating businesses must align their commercial interests without any central decision makin...
Pascal van Eck, Jaap Gordijn, Roel Wieringa
« Prev « First page 1162 / 1262 Last » Next »