9455 search results - page 1676 / 1891 » The Modelling Language Zinc |
154
click to vote
CLEF
2005
Springer
15 years 11 months ago
2005
Springer
: 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 ...
163
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
172
click to vote
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
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...
191
click to vote
APN
2001
Springer
15 years 10 months ago
2001
Springer
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...
173
click to vote
MSS
2000
IEEE
15 years 10 months ago
2000
IEEE
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...