Sciweavers

24554 search results - page 286 / 4911
» Dependable distributed systems
Sort
View
ICAC
2006
IEEE
16 years 16 days ago
Discovering Likely Invariants of Distributed Transaction Systems for Autonomic System Management
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
Guofei Jiang, Haifeng Chen, Kenji Yoshihira
POPL
2010
ACM
16 years 3 months ago
Dependent types and program equivalence
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
Jianzhou Zhao, Limin Jia, Stephanie Weirich, Vilhe...
MOBIQUITOUS
2007
IEEE
16 years 23 days ago
A SpatioTemporal Placement Model for Caching Location Dependent Queries
Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...
Anand Murugappan, Ling Liu
EMNLP
2007
15 years 8 months ago
Bootstrapping Feature-Rich Dependency Parsers with Entropic Priors
One may need to build a statistical parser for a new language, using only a very small labeled treebank together with raw text. We argue that bootstrapping a parser is most promis...
David A. Smith, Jason Eisner
ICINCO
2007
85views Robotics» more  ICINCO 2007»
15 years 8 months ago
A distributed multi-robot sensing system using an infrared location system
— Distributed sensing refers to measuring systems where instead of one sensor multiple sensors are spatially distributed improving robustness of the system, increasing relevancy ...
Anssi Kemppainen, Janne Haverinen, Juha Rönin...