5639 search results - page 115 / 1128 » Timed Abstract Non-interference |
183
click to vote
GISCIENCE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Eye movement recordings produce large quantities of spatiotemporal data, and are more and more frequently used as an aid to gain further insight into human thinking in us...
107
Voted
CPC
2006
15 years 1 months ago
2006
Abstract. We show that a maximum cut of a random graph below the giantcomponent threshold can be found in linear space and linear expected time by a simple algorithm. In fact, the ...
110
Voted
ENTCS
2006
15 years 1 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
100
click to vote
IJAC
2007
15 years 1 months ago
2007
Abstract. We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F , there is an endomorphism φ of F ...
117
click to vote
INFORMATICALT
1998
15 years 1 months ago
1998
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...