12487 search results - page 106 / 2498 » Graspable Work Modeling |
125
click to vote
CLEF
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents the results of the State University of New York at Buffalo (UB) in the Mono-lingual and Multi-lingual tasks at CLEF 2004. For these tasks we used an approach ba...
149
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
130
click to vote
PRIS
2008
15 years 2 months ago
2008
Abstract. In statistical machine translation, phrase-based translation (PBT) models lead to a significantly better translation quality over single-word-based (SWB) models. PBT mode...
ECLIPSE
2007
ACM
15 years 5 months ago
2007
ACM
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
128
click to vote
SADFE
2008
IEEE
15 years 7 months ago
2008
IEEE
This research builds on our method for validating syslog entries proposed in [5]. The goal of the proposed method is to allow syslog files to be forensically viable. The goal with...