522 search results - page 67 / 105 » Automating grammar comparison |
102
Voted
BMCBI
2008
15 years 18 days 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...
137
Voted
ICCV
2011
IEEE
14 years 15 days 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...
99
Voted
CADE
2004
Springer
16 years 24 days 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...
117
Voted
WCRE
2008
IEEE
15 years 6 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...
94
Voted
ACSAC
2007
IEEE
15 years 6 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 (...