2835 search results - page 14 / 567 » Common Semantics for Use Cases and Task Models |
141
click to vote
FUIN
2002
15 years 2 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
131
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a unified framework for the evaluation of a range of structured document retrieval (SDR) approaches and tasks. The framework is based on a model of tree retrie...
138
click to vote
JUCS
2008
15 years 2 months ago
2008
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
126
click to vote
TIP
2010
14 years 9 months ago
2010
Multivariate image segmentation is a challenging task, influenced by large intraclass variation that reduces class distinguishability as well as increased feature space sparseness ...
158
Voted
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...