945 search results - page 148 / 189 » Protein Model Representation and Construction |
ENTCS
2006
13 years 8 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
CISIS
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, we propose a level set based energy functional, the minimization of which results in simultaneous background modeling, foreground segmentation, and contour smoothin...
ICCV
2011
IEEE
12 years 5 months ago
2011
IEEE
We propose a novel tracking framework called visual tracker sampler that tracks a target robustly by searching for the appropriate trackers in each frame. Since the real-world trac...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
INFORMATICALT
2010
13 years 6 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...