Sciweavers

8437 search results - page 523 / 1688
» Preferences over Sets
Sort
View
FMSD
2006
77views more  FMSD 2006»
15 years 7 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...
IJSN
2006
123views more  IJSN 2006»
15 years 7 months ago
A survey of key evolving cryptosystems
: This paper presents a survey of key evolving cryptosystems in the public key setting, focusing on two main approaches: `forward security' and `intrusion resilience'. Th...
Matthew K. Franklin
CSL
2007
Springer
15 years 7 months ago
Articulatory feature recognition using dynamic Bayesian networks
This paper describes the use of dynamic Bayesian networks for the task of articulatory feature recognition. We show that by modeling the dependencies between a set of 6 multi-leve...
Joe Frankel, Mirjam Wester, Simon King
JUCS
2008
122views more  JUCS 2008»
15 years 7 months ago
On the Subrecursive Computability of Several Famous Constants
: For any class F of total functions in the set N of the natural numbers, we define the notion of F-computable real number. A real number is called Fcomputable if there exist one-...
Dimiter Skordev
EOR
2007
76views more  EOR 2007»
15 years 7 months ago
Lower bounds and heuristics for the Windy Rural Postman Problem
In this paper we present several heuristic algorithms and a cutting-plane algorithm for the Windy Rural Postman Problem. This problem contains a big number of important Arc Routin...
Enrique Benavent, Alessandro Carrotta, Angel Corbe...