18429 search results - page 3337 / 3686 » Typing dynamic typing |
182
click to vote
PKDD
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The paradigm of pattern discovery based on constraints was introduced with the aim of providing to the user a tool to drive the discovery process towards potentially inte...
157
click to vote
RAID
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...
195
click to vote
RSFDGRC
2005
Springer
16 years 8 days ago
2005
Springer
The paper concerns failing queries in incomplete Distributed Autonomous Information Systems (DAIS) based on attributes which are hierarchical and which semantics at different site...
186
click to vote
RTA
2005
Springer
16 years 8 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
173
click to vote
SSD
2005
Springer
16 years 8 days ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...