9532 search results - page 1683 / 1907 » Logic, Graphs, and Algorithms |
204
click to vote
ISNN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
188
click to vote
MIDDLEWARE
2007
Springer
16 years 20 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
151
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
166
click to vote
VLDB
2007
ACM
16 years 20 days ago
2007
ACM
GridVine is a Peer Data Management System based on a decentralized access structure. Built following the principle of data independence, it separates a logical layer – where dat...
171
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
Regular expressions are widely used in Network Intrusion Detection System (NIDS) to represent patterns of network attacks. Since traditional software-only NIDS cannot catch up to ...