Sciweavers

825 search results - page 103 / 165
» interactions 2011
Sort
View
230
Voted
EGITALY
2011
14 years 9 days ago
3D-ize U! A Real-time 3D Head-model Texture Generator for Android
Recently, the number of applications developed for smartphones has dramatically increased; however, at the moment, applications having the purpose of creating and displaying 3D mo...
Stefano Boi, Fabio Sorrentino, Stefano Marras, Ric...
FROCOS
2011
Springer
14 years 6 days ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
ICDAR
2011
IEEE
14 years 4 days ago
OCR-Driven Writer Identification and Adaptation in an HMM Handwriting Recognition System
—We present an OCR-driven writer identification algorithm in this paper. Our algorithm learns writer-specific characteristics more precisely from explicit character alignment usi...
Huaigu Cao, Rohit Prasad, Prem Natarajan
104
Voted
CHI
2011
ACM
14 years 4 months ago
Comet and target ghost: techniques for selecting moving targets
Numerous applications such as simulations, air traffic control systems, and video surveillance systems are inherently composed of spatial objects that move in a scene. In many ins...
Khalad Hasan, Tovi Grossman, Pourang Irani
ACMIDC
2011
14 years 4 months ago
Examining values: an analysis of nine years of IDC research
Explicitly examining the values held by a research community provides a tool in which participants can define its culture, conduct informed research, and reflect on their design p...
Svetlana Yarosh, Iulian Radu, Seth Hunter, Eric Ro...