759 search results - page 139 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
TSE
2011
13 years 5 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
CSCW
2010
ACM
2010
ACM
Telling the whole story: anticipation, inspiration and reputation in a field deployment of TellTable
14 years 5 months ago
We present a field study of TellTable, a new storytelling system designed to support creativity and collaboration amongst children. The application was deployed on a multitouch in...
CVPR
2000
IEEE
15 years 28 days ago
2000
IEEE
We presen t a multiview method for the computation of object shape and re ectance characteristics based on the integration of shape from shading (SFS) and stereo, for nonconstan t...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
Reinforcement learning is a popular and successful framework for many agent-related problems because only limited environmental feedback is necessary for learning. While many algo...
ESWS
2005
Springer
14 years 4 months ago
2005
Springer
Managing semantic heterogeneity is a complex task. One solution involves matching like terms to each other. We view Match as an operator that takes two graph-like structures (e.g....