Sciweavers

3381 search results - page 48 / 677
» Extending Dependencies with Conditions
Sort
View
106
Voted
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 18 days ago
Positional Determinacy of Games with Infinitely Many Priorities
We study two-player games of infinite duration that are played on finite or infinite game graphs. A winning strategy for such a game is positional if it only depends on the current...
Erich Grädel, Igor Walukiewicz
IJCAI
1989
15 years 1 months ago
Plausible Inferencing Using Extended Composition
This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition i...
Michael N. Huhns, Larry M. Stephens
86
Voted
ICPR
2004
IEEE
16 years 1 months ago
Estimating Surface Shape and Extending Known Structure using Specular Reflections
In this paper a method for shape estimation and structure extension of a surface using information from specularities is proposed. The structure of the scene is obtained from an i...
Anders Heyden, Jan Erik Solem
FUZZIEEE
2007
IEEE
15 years 7 months ago
f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou...
81
Voted
SAC
2006
ACM
15 years 6 months ago
Extending noninterference properties to the timed world
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
Jian Huang, A. W. Roscoe