Sciweavers

4306 search results - page 338 / 862
» Timed Testing with TorX
Sort
View
SIMUTOOLS
2008
15 years 4 months ago
Efficient and realistic mobility and channel modeling for VANET scenarios using OMNeT++ and INET-framework
Mobility and channel modeling is a very crucial task for the simulation of Vehicular Ad Hoc Network (VANET) scenarios. In this paper we present a new mobility modeling approach fo...
Robert Nagel, Stephan Eichler
AAAI
2004
15 years 4 months ago
Automatically Transforming Symbolic Shape Descriptions for Use in Sketch Recognition
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
Tracy Hammond, Randall Davis
126
Voted
AAAI
2006
15 years 4 months ago
Point-based Dynamic Programming for DEC-POMDPs
We introduce point-based dynamic programming (DP) for decentralized partially observable Markov decision processes (DEC-POMDPs), a new discrete DP algorithm for planning strategie...
Daniel Szer, François Charpillet
157
Voted
CSREASAM
2006
15 years 4 months ago
TRINETR: Facilitating Alerts Analysis and Response Decision Making
Due to many inherent deficiencies and flaws, current intrusion detection systems (IDS) are plagued by numerous problems. Intrusion Detection Systems are often inefficient and inef...
Jinqiao Yu, Y. V. Ramana Reddy, Sumitra Reddy
GVD
2004
111views Database» more  GVD 2004»
15 years 4 months ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg