Sciweavers

1292 search results - page 143 / 259
» Evaluating A Personal Information Assistant
Sort
View
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
16 years 17 days ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
ICNP
1999
IEEE
15 years 10 months ago
A Behavioral Model of Web Traffic
The growing importance of Web traffic on the Internet makes it important that we have accurate traffic models in order to plan and provision. In this paper we present a Web traffi...
Hyoung-Kee Choi, John O. Limb
CSCW
2008
ACM
15 years 8 months ago
Supporting medical conversations between deaf and hearing individuals with tabletop displays
This paper describes the design and evaluation of Shared Speech Interface (SSI), an application for an interactive multitouch tabletop display designed to facilitate medical conve...
Anne Marie Piper, James D. Hollan
ACL
2006
15 years 7 months ago
Chinese-English Term Translation Mining Based on Semantic Prediction
Using abundant Web resources to mine Chinese term translations can be applied in many fields such as reading/writing assistant, machine translation and crosslanguage information r...
Gaolin Fang, Hao Yu, Fumihito Nishino
PVLDB
2008
82views more  PVLDB 2008»
15 years 6 months ago
STBenchmark: towards a benchmark for mapping systems
A fundamental problem in information integration is to precisely specify the relationships, called mappings, between schemas. Designing mappings is a time-consuming process. To al...
Bogdan Alexe, Wang Chiew Tan, Yannis Velegrakis