Sciweavers

2853 search results - page 447 / 571
» A platform for software engineering research
Sort
View
TASLP
2011
13 years 4 months ago
Estimating Dominance in Multi-Party Meetings Using Speaker Diarization
—With the increase in cheap commercially available sensors, recording meetings is becoming an increasingly practical option. With this trend comes the need to summarize the recor...
Hayley Hung, Yan Huang, Gerald Friedland, Daniel G...
TCIAIG
2010
13 years 3 months ago
Monte Carlo Tree Search in Hex
Hex, the classic board game invented by Piet Hein in 1942 and independently by John Nash in 1948, has been a domain of artificial intelligence research since Claude Shannon's ...
Broderick Arneson, Ryan B. Hayward, Philip Henders...
FASE
2011
Springer
13 years 16 days ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
ECSCW
2011
12 years 8 months ago
The Pendulum of Standardization
Cooperation and collaboration are generally an inherent part of everyday practice, and particularly among nurses. However, the technologies that support these practices are still i...
Torbjørg Meum, Eric Monteiro, Gunnar Elling...
IUI
2012
ACM
12 years 4 months ago
Using intelligent natural user interfaces to support sales conversations
During sales conversations, gestures and mimics are of high importance to communicate information about a product. One prominent example for such sales gestures is the meat and ch...
Sven Gehring, Markus Löchtefeld, Florian Daib...