9210 search results - page 1547 / 1842 » Analyzing Real-Time Systems |
125
Voted
RTA
2004
Springer
15 years 6 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
114
Voted
SCOPES
2004
Springer
15 years 6 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
113
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
133
Voted
SETN
2004
Springer
15 years 6 months ago
2004
Springer
We present novel intelligent tools for mining 3D medical images. We focus on detecting discriminative Regions of Interest (ROIs) and mining associations between their spatial distr...
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...