Sciweavers

15660 search results - page 221 / 3132
» The Unbalance of Set Systems
Sort
View
FASE
2000
Springer
15 years 10 months ago
Formal System Development with KIV
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
Michael Balser, Wolfgang Reif, Gerhard Schellhorn,...
CRIWG
1998
15 years 8 months ago
Agents in Groupware Systems
This paper describes four classes of groups and discusses groupware tools for these classes. It concentrates on a particular set of groupware functionalities, agents, and their ap...
Jacques Wainer, Clarence A. Ellis
TREC
1997
15 years 8 months ago
Cross Language Retrieval with the Twenty-One system
The EU project Twenty-One will support cross language queries in a multilingual document base. A prototype version of the Twenty-Onesystem has been subjected to the Cross Language...
Wessel Kraaij, Djoerd Hiemstra
ANOR
2006
58views more  ANOR 2006»
15 years 6 months ago
A management system for decompositions in stochastic programming
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
Robert Fourer, Leo Lopes
TDP
2008
60views more  TDP 2008»
15 years 6 months ago
On Overlappings of Digitized Straight Lines and Shared Steganographic File Systems
We consider the unbounded integer grid and the digitized version of the straight line y = x + , with , R being the set of points (i, [i + ]), i Z, where [
Maria Bras-Amorós, Josep Domingo-Ferrer