Sciweavers

114 search results - page 11 / 23
» Current Frontiers in Computer Go
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
14 years 2 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
SIGCOMM
2009
ACM
14 years 4 months ago
PathForge: faithful anonymization of movement data
For most mobile networks, providers need the current position of their users to provide efficient service. The resulting motion data is not only an invaluable source for analyzing...
Sebastian Kay Belle, Marcel Waldvogel, Oliver Haas...
BMVC
2010
13 years 8 months ago
Back to the Future: Learning Shape Models from 3D CAD Data
Recognizing 3D objects from arbitrary view points is one of the most fundamental problems in computer vision. A major challenge lies in the transition between the 3D geometry of o...
Michael Stark, Michael Goesele, Bernt Schiele
CHI
2007
ACM
14 years 10 months ago
Toolkit support for developing and deploying sensor-based statistical models of human situations
Sensor-based statistical models promise to support a variety of advances in human-computer interaction, but building applications that use them is currently difficult and potentia...
James Fogarty, Scott E. Hudson
CHI
2006
ACM
14 years 10 months ago
Accounting for taste: using profile similarity to improve recommender systems
Recommender systems have been developed to address the abundance of choice we face in taste domains (films, music, restaurants) when shopping or going out. However, consumers curr...
Philip Bonhard, Clare Harries, John D. McCarthy, M...