Sciweavers

3511 search results - page 312 / 703
» Evaluation Methods for Groupware Systems
Sort
View
LREC
2008
193views Education» more  LREC 2008»
15 years 8 months ago
Automated Subject Induction from Query Keywords through Wikipedia Categories and Subject Headings
This paper addresses a novel approach that integrates two different types of information resources: the World Wide Web and libraries. This approach is based on a hypothesis: advan...
Yoji Kiyota, Noriyuki Tamura, Satoshi Sakai, Hiros...
PICS
2000
15 years 8 months ago
Image Quality Testing on the Production Line
Eastman Kodak Company is using a scanner-based image quality measurement system to perform production line testing of the image quality of a high-quality thermal media based imagi...
Yair Kipman, Sam Reele, Randy Dumas
NLE
2007
148views more  NLE 2007»
15 years 6 months ago
Abbreviated text input using language modeling
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on mobile computing devices or by disabled users), by ta...
Stuart M. Shieber, Rani Nelken
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ISCAS
1999
IEEE
87views Hardware» more  ISCAS 1999»
15 years 11 months ago
Instruction level power model of microcontrollers
In the design of low power systems, it is important to analyze and optimize both the hardware and the software component of the system. To evaluate the software component of the s...
C. Chakrabarti, D. Gaitonde