339 search results - page 26 / 68 » Universality Results for Models in Locally Boolean Domains |
CONSTRAINTS
2008
13 years 8 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...
CDC
2009
IEEE
13 years 12 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...
FLAIRS
2006
13 years 10 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...
CDC
2010
IEEE
13 years 3 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 ...
TACAS
2009
Springer
14 years 3 months 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 ...