522 search results - page 67 / 105 » Automating grammar comparison |
BMCBI
2008
14 years 11 months ago
2008
Background: We propose a multiple sequence alignment (MSA) algorithm and compare the alignment-quality and execution-time of the proposed algorithm with that of existing algorithm...
115
Voted
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
In this paper, we present an event parsing algorithm based on Stochastic Context Sensitive Grammar (SCSG) for understanding events, inferring the goal of agents, and predicting th...
CADE
2004
Springer
15 years 11 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
104
click to vote
WCRE
2008
IEEE
15 years 5 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
86
Voted
ACSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
We exploit for defensive purposes the concept of darkports – the unused ports on active systems. We are particularly interested in such ports which transition to become active (...