1755 search results - page 166 / 351 » Symposium on document engineering |
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
Web search engines are often presented with user queries that involve comparisons of real-world entities. Thus far, this interaction has typically been captured by users submittin...
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, we describe the ChemXSeer system that hosts data and scholarly articles related to chemical kinetics. Domain scientists have different needs that are not served by ...
AUIC
2006
IEEE
15 years 5 months ago
2006
IEEE
User interfaces as well as documents use tabular layout mechanisms. The HTML table construct and the GridBag layout in Java are typical examples. There are, however, shortcomings ...
SCAM
2005
IEEE
15 years 4 months ago
2005
IEEE
The concept of software cohesion in both the procedural and object-oriented paradigm is well known and documented. What is not so well known or documented is the perception of wha...