Sciweavers

2517 search results - page 160 / 504
» Specifying Weak Sets
Sort
View
ISIM
2007
15 years 8 months ago
Deriving Prototypes from UML 2.0 Sequence Diagrams
Executable prototypcs generatcd on early stages of software development bring many benefits, first of all they help to develop and validate systcm's spccification. The paper p...
Zbigniew Huzar, Grzegorz Loniewski
CCCG
2006
15 years 8 months ago
Tight Bounds for Point Recolouring
In their paper on delineating boundaries from geographic data, Reinbacher et al. [9] use a recolouring method to reclassify points so that the boundaries that separate points of d...
Yurai Núñez Rodríguez, David ...
CLA
2006
15 years 8 months ago
Type Signature Induction with FCAType
Type signatures are common in modern linguistic theories. Their construction and maintenance is intricate, and therefore, an automatic induction method is desirable. In the present...
Wiebke Petersen
IJCAI
2001
15 years 8 months ago
Constraints as Data: A New Perspective on Inferring Probabilities
We present a new approach to inferring a probability distribution which is incompletely specified by a number of linear constraints. We argue that the currently most popular appro...
Manfred Jaeger
PDPTA
2004
15 years 7 months ago
Spores: A Push and Pull Peer-to-Peer File Sharing Approach
Spores is a push and pull peer-to-peer method of file sharing and storage, making use of publicly available space on the network. A user stores a file by pushing it to a set of pe...
Thomas E. Portegys