1027 search results - page 32 / 206 » Progress on the Progressive Party Problem |
75
Voted
BMCBI
2005
14 years 9 months ago
2005
Background: Currently available methods to predict splice sites are mainly based on the independent and progressive alignment of transcript data (mostly ESTs) to the genomic seque...
111
click to vote
AISC
2010
Springer
14 years 7 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
75
Voted
IJALR
2011
14 years 1 months ago
2011
We consider the problem of disease spreading and containment in spatial networks, where our computational model is capable of detecting disease prog...
CP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
— This paper addresses the problem of simultaneous localization and mapping (SLAM) by a mobile robot. The SLAM problem is defined as a global optimization problem in which the o...