Sciweavers

2829 search results - page 508 / 566
» Regularization Methods for Additive Models
Sort
View
ENTCS
2000
60views more  ENTCS 2000»
14 years 9 months ago
Incompleteness of Behavioral Logics
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
Samuel R. Buss, Grigore Rosu
FUIN
2000
76views more  FUIN 2000»
14 years 9 months ago
A Foundation for Refining Concurrent Objects
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
Martin Büchi, Emil Sekerinski
NECO
2000
113views more  NECO 2000»
14 years 9 months ago
Geometric Analysis of Population Rhythms in Synaptically Coupled Neuronal Networks
We develop geometric dynamical systems methods to determine how various components contribute to a neuronal network's emergent population behavior. The results clarify the mu...
Jonathan E. Rubin, David Terman
TC
2002
14 years 9 months ago
Cache Invalidation and Replacement Strategies for Location-Dependent Data in Mobile Environments
Mobile location-dependent information services (LDISs) have become increasingly popular in recent years. However, data caching strategies for LDISs have thus far received little at...
Baihua Zheng, Jianliang Xu, Dik Lun Lee
VLDB
2002
ACM
188views Database» more  VLDB 2002»
14 years 9 months ago
Continuous Nearest Neighbor Search
A continuous nearest neighbor query retrieves the nearest neighbor (NN) of every point on a line segment (e.g., "find all my nearest gas stations during my route from point s...
Yufei Tao, Dimitris Papadias, Qiongmao Shen