Sciweavers

14190 search results - page 2596 / 2838
» Abstractions for hybrid systems
Sort
View
DLOG
2010
15 years 5 months ago
Automata-Based Abduction for Tractable Diagnosis
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
EMNLP
2010
15 years 5 months ago
Mining Name Translations from Entity Graph Mapping
This paper studies the problem of mining entity translation, specifically, mining English and Chinese name pairs. Existing efforts can be categorized into (a) a transliterationbas...
Gae-won You, Seung-won Hwang, Young-In Song, Long ...
EVOW
2010
Springer
15 years 5 months ago
New Genetic Operators in the Fly Algorithm: Application to Medical PET Image Reconstruction
Abstract. This paper presents an evolutionary approach for image reconstruction in positron emission tomography (PET). Our reconstruction method is based on a cooperative coevoluti...
Franck Patrick Vidal, Jean Louchet, Jean-Marie Roc...
GAMESEC
2010
128views Game Theory» more  GAMESEC 2010»
15 years 5 months ago
Tracking Games in Mobile Networks
Abstract. Users of mobile networks can change their identifiers in regions called mix zones in order to defeat the attempt of third parties to track their location. Mix zones must ...
Mathias Humbert, Mohammad Hossein Manshaei, Julien...
GLOBECOM
2010
IEEE
15 years 5 months ago
Mobi-Sync: Efficient Time Synchronization for Mobile Underwater Sensor Networks
Abstract--Time synchronization is a critical service for distributed network systems. In this work, we investigate this problem in the context of underwater sensor networks (UWSNs)...
Jun Liu, Robert Zhong Zhou, James Peng Zheng, Jun-...
« Prev « First page 2596 / 2838 Last » Next »