Sciweavers

2702 search results - page 243 / 541
» Requirements Processes: An Experience Report
Sort
View
VLDB
2009
ACM
381views Database» more  VLDB 2009»
16 years 6 months ago
Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN
In this paper, we study the problem of continuous monitoring of reverse k nearest neighbor queries. Existing continuous reverse nearest neighbor monitoring techniques are sensitive...
Muhammad Aamir Cheema, Xuemin Lin, Ying Zhang, Wei...
BC
2008
86views more  BC 2008»
15 years 6 months ago
Firing patterns in the adaptive exponential integrate-and-fire model
For simulations of large spiking neuron networks, an accurate, simple and versatile single-neuron modeling framework is required. Here we explore the versatility of a simple two-eq...
Richard Naud, Nicolas Marcille, Claudia Clopath, W...
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 6 months ago
Discrete Partitioning and Coverage Control for Gossiping Robots
We propose distributed algorithms to automatically deploy a group of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary nonconvex envi...
Joseph W. Durham, Ruggero Carli, Paolo Frasca, Fra...
JFP
2008
109views more  JFP 2008»
15 years 6 months ago
An operational semantics for Scheme
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
Jacob Matthews, Robert Bruce Findler
KES
2008
Springer
15 years 6 months ago
Semantic Bookmarking and Search in the Earth Observation Domain
This paper describes the experience of introducing a service for semantic bookmarking and search in the Earth Observation (EO) domain. To perform the work reported such a service h...
Francesca Fallucchi, Maria Teresa Pazienza, Noemi ...