2455 search results - page 304 / 491 » Computability of Models for Sequence Assembly |
151
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: Successful realization of a "systems biology" approach to analyzing cells is a grand challenge for our understanding of life. However, current modeling appro...
145
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
154
Voted
ICCSA
2010
Springer
15 years 2 months ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
156
click to vote
TCSV
2010
14 years 11 months ago
2010
In this paper, we are concerned with the modeling of motion between frames of a video sequence. Typically, it is not possible to represent the motion between frames by a single mod...
142
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
This paper proposes a method of automated individualization of eye region model. The eye region model has been proposed in past research that parameterizes both the structure and ...