Sciweavers

1851 search results - page 199 / 371
» Open Source AI
Sort
View
RULEML
2009
Springer
15 years 10 months ago
The Making of SPINdle
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
Ho-Pun Lam, Guido Governatori
145
Voted
ICC
2008
IEEE
111views Communications» more  ICC 2008»
15 years 10 months ago
Conservative Slow Start: Controlling Losses in Very High Speed Networks
—In this paper, we address the problem of how TCP sessions ramp up their transmission windows in a controlled way. We introduce a conservative slow start scheme that reduces to t...
Kazumi Kumazoe, Cesar Marcondes, Mario Gerla, Dirc...
156
Voted
ISSRE
2008
IEEE
15 years 10 months ago
Using Fault Modeling in Safety Cases
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
Robyn R. Lutz, Ann Patterson-Hine
118
Voted
KBSE
2008
IEEE
15 years 10 months ago
Dependence Anti Patterns
A Dependence Anti Pattern is a dependence structure that may indicate potential problems for on–going software maintenance and evolution. Dependence anti patterns are not struct...
David Binkley, Nicolas Gold, Mark Harman, Zheng Li...
PIMRC
2008
IEEE
15 years 10 months ago
Four-way TOA and software-based trilateration of IEEE 802.11 devices
—In this paper we present an algorithm that measures the round trip times of IEEE 802.11 MAC packets in order to trilaterate WLAN nodes. We show that if we use packet sequences (...
Christian Hoene, Jörg Willmann