688 search results - page 65 / 138 » The Flow Set with Partial Order |
109
Voted
WIA
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...
113
Voted
APN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
86
Voted
ENTCS
2008
15 years 26 days ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
95
Voted
ANOR
2005
15 years 22 days ago
2005
Sensors are used to monitor traffic in networks. For example, in transportation networks, they may be used to measure traffic volumes on given arcs and paths of the network. This p...
106
Voted
ISBI
2006
IEEE
16 years 1 months ago
2006
IEEE
We introduce a method for estimating regional connectivity in diffusion tensor magnetic resonance imaging (DT-MRI) based on a fluid mechanics model. We customize the Navier-Stokes...