2032 search results - page 81 / 407 » Encodings of the Sequence Constraint |
136
click to vote
JAIR
2008
15 years 6 months ago
2008
A phylogenetic tree shows the evolutionary relationships among species. Internal nodes of the tree represent speciation events and leaf nodes correspond to species. A goal of phyl...
156
click to vote
JAR
2000
15 years 6 months ago
2000
We study the runtime distributions of backtrack procedures for propositional satisfiability and constraint satisfaction. Such procedures often exhibit a large variability in perfor...
145
click to vote
CVPR
2006
IEEE
16 years 11 days ago
2006
IEEE
We introduce the term cosegmentation which denotes the task of segmenting simultaneously the common parts of an image pair. A generative model for cosegmentation is presented. Inf...
147
click to vote
GW
2005
Springer
15 years 11 months ago
2005
Springer
Simulating realistic human-like figures is still a challenging task when dynamics is involved. For example, making a virtual human jump to a given position requires to control the...
157
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...