Sciweavers

9455 search results - page 1676 / 1891
» The Modelling Language Zinc
Sort
View
CLEF
2005
Springer
15 years 11 months ago
CLEF 2005: Multilingual Retrieval by Combining Multiple Multilingual Ranked Lists
: We participated in two tasks: Multi-8 two-years-on retrieval and Multi-8 results merging. For our multi-8 two-years-on retrieval work, simple multilingual ranked lists are first ...
Luo Si, Jamie Callan
ICLP
2005
Springer
15 years 11 months ago
Preference Reasoning
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
Francesca Rossi
ICAIL
2003
ACM
15 years 11 months ago
Improving Legal Quality - an application report
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
Tom M. van Engers, Margherita R. Boekenoogen
APN
2001
Springer
15 years 10 months ago
Rewriting Logic as a Unifying Framework for Petri Nets
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
Mark-Oliver Stehr, José Meseguer, Peter Csa...
MSS
2000
IEEE
113views Hardware» more  MSS 2000»
15 years 10 months ago
Jiro Storage Management
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
Bruce K. Haddon, William H. Connor
« Prev « First page 1676 / 1891 Last » Next »