Sciweavers

1073 search results - page 56 / 215
» Reasoning about Continuous Processes
Sort
View
EGOV
2004
Springer
14 years 4 months ago
PARMENIDES: Facilitating Democratic Debate
Abstract. This paper describes PARMENIDES, a system which facilitates structured debate about government policy. 1 The PARMENIDES System The last two decades have seen a deliberati...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
IJCAI
2007
14 years 17 days ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...
IPPS
1999
IEEE
14 years 3 months ago
A Structured Approach to Parallel Programming: Methodology and Models
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
Berna L. Massingill
3DPVT
2004
IEEE
151views Visualization» more  3DPVT 2004»
14 years 2 months ago
Spacetime-Coherent Geometry Reconstruction from Multiple Video Streams
By reconstructing time-varying geometry one frame at a time, one ignores the continuity of natural motion, wasting useful information about the underlying video-image formation pr...
Marcus A. Magnor, Bastian Goldlücke
ICN
2007
Springer
14 years 5 months ago
ABW - Short-Timescale Passive Bandwidth Monitoring
ct Bandwidth usage monitoring is important for network troubleshooting and planning. Traditionally, used bandwidth is computed from router interface byte counters read by SNMP. Thi...
Sven Ubik, Demetres Antoniades, Arne Øsleb&...