Sciweavers

2981 search results - page 148 / 597
» Word Sense and Subjectivity
Sort
View
RTA
1998
Springer
15 years 10 months ago
Decidable and Undecidable Second-Order Unification Problems
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
Jordi Levy
CHI
2007
ACM
16 years 6 months ago
Medical sensemaking with entity workspace
Knowledge workers making sense of a topic divide their time among activities including searching for information, reading, and taking notes. We have built a software system that s...
Dorrit Billman, Eric A. Bier
TGC
2005
Springer
15 years 11 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
HHCI
2000
15 years 9 months ago
Interaction of Visual and Haptic Information in Simulated Environments: Texture Perception
This paper describes experiments relating to the perception of the roughness of simulated surfaces via the haptic and visual senses. Subjects used a magnitude estimation technique...
Steven A. Wall, William Harwin
155
Voted
ICPR
2008
IEEE
16 years 7 months ago
Ballot mark detection
Optical mark sensing, i.e., detecting whether a "bubble" has been filled in, may seem straightforward. However, on US election ballots the shape, intensity, size and pos...
Daniel P. Lopresti, Elisa H. Barney Smith, George ...