1456 search results - page 159 / 292 » Two Techniques to Improve Finite Model Search |
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Social networks have recently attracted much attention for their importance to the Semantic Web. Several methods exist to extract social networks for people (particularly...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Workforce planning is an important activity that enables organizations to determine the workforce needed for continued success. A workforce planning problem is a very complex task...
ICASSP
2007
IEEE
13 years 9 months ago
2007
IEEE
This paper presents a set of fast algorithm and VLSI architecture for HDTV-sized H.264 fractional motion estimation. To solve the long computational latency in HD-sized applicatio...
PSTV
1992
13 years 9 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
HIS
2008
13 years 9 months ago
2008
Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genotype. This ...