Sciweavers

1734 search results - page 55 / 347
» its 2000
Sort
View
APSEC
2000
IEEE
15 years 1 months ago
A GUI and testing tool for SOFL
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
AIPS
2000
14 years 11 months ago
A New Perspective on Algorithms for Optimizing Policies under Uncertainty
The paper takes a fresh look at algorithms for maximizing expected utility over a set of policies, that is, a set of possible ways of reacting to observations about an uncertain s...
Rina Dechter
MFCS
2000
Springer
15 years 1 months ago
Periodic-Like Words
In this paper we investigate the periodic structure of rich words (i.e., words having the highest possible number of palindromic factors), giving new results relating them with per...
Arturo Carpi, Aldo de Luca
RSCTC
2000
Springer
144views Fuzzy Logic» more  RSCTC 2000»
15 years 1 months ago
Valued Tolerance and Decision Rules
In this paper we introduce the concept of valued tolerance as an extension of the usual concept of indiscernibility (which is a crisp equivalence relation) in rough sets theory. So...
Jerzy Stefanowski, Alexis Tsoukiàs
ICIP
2000
IEEE
15 years 2 months ago
Constrained and Unconstrained Simplification of Image Partitions Encoded with the Method of Transition Points
The encoding of image partitions plays a key role in the overall efficiency of the so-called region-based image coding techniques. Recently, a method based on the novel concept o...
Armando J. Pinho