7213 search results - page 1265 / 1443 » Automated model grouping |
185
click to vote
TIME
2007
IEEE
16 years 4 days ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
169
click to vote
TPHOL
2007
IEEE
16 years 4 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
148
click to vote
QSIC
2007
IEEE
16 years 2 days ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
159
click to vote
CIA
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. This paper presents a design of high-performance agentbased intrusion detection system designed for deployment on high-speed network links. To match the speed requirement...
132
click to vote
CSL
2007
Springer
16 years 1 days ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....