Sciweavers

1523 search results - page 123 / 305
» Partially ordered secretaries
Sort
View
CVBIA
2005
Springer
15 years 6 months ago
A Hybrid Eulerian-Lagrangian Approach for Thickness, Correspondence, and Gridding of Annular Tissues
—We present a novel approach to efficiently compute thickness, correspondence, and gridding of tissues between two simply connected boundaries. The solution of Laplace’s equat...
Kelvin R. Rocha, Anthony J. Yezzi, Jerry L. Prince
FORMATS
2005
Springer
15 years 6 months ago
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
Thomas Chatain, Claude Jard
94
Voted
RTCSA
1998
IEEE
15 years 5 months ago
Protocol Synthesis from Context-Free Processes Using Event Structures
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
IFIP
1992
Springer
15 years 4 months ago
Intelligent Access to Data and Knowledge Bases via User's Topics of Interest
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
Sylvie Cazalens, Robert Demolombe
87
Voted
FLAIRS
2004
15 years 2 months ago
Typicality, Contextual Inferences and Object Determination Logic
We propose a rigorous definition of the notion of typicality, making use of the strict partial order naturally induced among the objects at hand by a given concept. This perspecti...
Michael Freund, Jean-Pierre Desclés, Anca P...