Sciweavers

3657 search results - page 403 / 732
» A Study of Practical Deduplication
Sort
View
INFOCOM
2010
IEEE
15 years 4 months ago
Multi-Round Sensor Deployment for Guaranteed Barrier Coverage
Abstract--Deploying wireless sensor networks to provide guaranteed barrier coverage is critical for many sensor networks applications such as intrusion detection and border surveil...
Guanqun Yang, Daji Qiao
PPDP
2010
Springer
15 years 4 months ago
Tabling for transaction logic
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
Paul Fodor, Michael Kifer
QEST
2010
IEEE
15 years 4 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
CORR
2010
Springer
48views Education» more  CORR 2010»
15 years 4 months ago
On Maxwell fluid with relaxation time and viscosity depending on the pressure
We study a variant of the well known Maxwell model for viscoelastic fluids, namely we consider the Maxwell fluid with viscosity and relaxation time depending on the pressure. Such...
Satish Karra, Vít Prusa, K. R. Rajagopal
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 4 months ago
When are feedforward microcircuits well-modeled by maximum entropy methods?
Describing the collective activity of neural populations is a daunting task: the number of possible patterns grows exponentially with the number of cells, resulting in practically...
Andrea K. Barreiro, Julijana Gjorgjieva, Fred Riek...