Sciweavers

18155 search results - page 3299 / 3631
» Point
Sort
View
SAS
2005
Springer
135views Formal Methods» more  SAS 2005»
15 years 10 months ago
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun ...
SEMWEB
2005
Springer
15 years 10 months ago
A Semantic Search Engine for the International Relation Sector
onograph will be also published in Spanish (full version printed; summary, abstracts, and some articles online) by Novática, journal of the Spanish CEPIS society ATI (Asociación ...
Luis Rodrigo, V. Richard Benjamins, Jesús C...
SSD
2005
Springer
185views Database» more  SSD 2005»
15 years 10 months ago
Evaluation of a Dynamic Tree Structure for Indexing Query Regions on Streaming Geospatial Data
Most recent research on querying and managing data streams has concentrated on traditional data models where the data come in the form of tuples or XML data. Complex types of strea...
Quinn Hart, Michael Gertz, Jie Zhang
STACS
2005
Springer
15 years 10 months ago
Algorithmics in Exponential Time
Exponential algorithms, i.e. algorithms of complexity O(cn ) for some c > 1, seem to be unavoidable in the case of NP-complete problems (unless P=NP), especially if the problem ...
Uwe Schöning
STORYTELLING
2005
Springer
15 years 10 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
« Prev « First page 3299 / 3631 Last » Next »