339 search results - page 26 / 68 » Universality Results for Models in Locally Boolean Domains |
157
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
Abstract. A very challenging problem in the genetics domain is to infer haplotypes from genotypes. This process is expected to identify genes affecting health, disease and response...
155
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, we consider an anthropomorphically-inspired hybrid model of a bipedal robot with locking knees and feet in order to develop a control law that results in human-l...
163
click to vote
FLAIRS
2006
15 years 7 months ago
2006
We have been using the concept map of the domain, enhanced with pedagogical concepts called learning objectives, as the overlay student model in our intelligent tutors for program...
169
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The aim of this paper is to propose a robust and accurate method for the parametric identification of the thermal behaviour of low consumption buildings. These buildings are known ...
127
click to vote
TACAS
2009
Springer
16 years 29 days ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...