Sciweavers

1672 search results - page 158 / 335
» Interactive Mathematical Documents
Sort
View
IEEESCC
2007
IEEE
15 years 10 months ago
Deriving executable BPEL from UMM Business Transactions
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
Birgit Hofreiter, Christian Huemer, Philipp Liegl,...
SIGIR
2012
ACM
13 years 6 months ago
Automatic term mismatch diagnosis for selective query expansion
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...
Le Zhao, Jamie Callan
CIKM
2005
Springer
15 years 10 months ago
Structured queries in XML retrieval
Document-centric XML is a mixture of text and structure. With the increased availability of document-centric XML content comes a need for query facilities in which both structural...
Jaap Kamps, Maarten Marx, Maarten de Rijke, Bö...
CHI
2003
ACM
16 years 4 months ago
ClearPen: improving the legibility of handwriting
We describe the application of a pen model, and sub-pixel addressing (ClearPen), to render handwriting on an LCD display. This technique is shown to improve the legibility of hand...
Timothy S. Butler
CHI
1996
ACM
15 years 8 months ago
Modelling Last-Minute Authoring: Does Technology Add Value or Encourage Tinkering?
To measure the productivity gained from computer-based authoring systems, account must be taken of changes in the way the work is organised. An analysis of economists' author...
William M. Newman, Margery Eldridge, Richard H. R....