1449 search results - page 149 / 290 » Finiteness results for sigmoidal |
155
click to vote
ACSD
2007
IEEE
15 years 10 months ago
2007
IEEE
Synthesis of asynchronous circuits from Signal Transition Graphs (STGs) involves resolution of state encoding conflicts by means of refining the STG specification. In this paper, ...
160
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We study the confluence of Ehrhard and Regnier's differential nets with exponential promotion, in a pure setting. Confluence fails with promotion and codereliction in absence ...
172
click to vote
ECWEB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper proposes an approach for Web user segmentation and online behavior analysis based on a mixture of factor analyzers (MFA). In our proposed framework, we model u...
186
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
176
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...