2446 search results - page 188 / 490 » Principles of dataspace systems |
134
click to vote
LTCONF
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...
135
click to vote
CIMCA
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes the system “Fibered Guard”, which is a hybrid intelligent web access management approach for the prevention of Denial of Service (DoS) and Distributed Deni...
144
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
147
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
130
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
After a detailed analysis and discussion of two important characteristics of today’s battery cells (i.e., their current-capacity and current-voltage curves), this paper descr...