5639 search results - page 406 / 1128 » Timed Abstract Non-interference |
138
click to vote
CIBCB
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— In this paper, we study the use of cooperation as a technique for designing faster algorithms for reconstructing phylogenetic trees. Our focus is on the use of cooperat...
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Sufficient conditions for stability of time-varying 1D systems are already well established. This work treats the 2-D case in an approach that parallels that of the 1-...
142
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a context information acquisition framework for a personal device that equips a variety of sensors. The framework captures context information about a user an...
146
click to vote
AAIM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we study the computational problem of arbitrage in a frictional market with a finite number of bonds and finite and discrete times to maturity. Types of f...
136
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We built three different versions of an ITS on a letter pattern extrapolation task: in one version, students only receive color-coded feedback; in the second, they receiv...