Sciweavers

598 search results - page 67 / 120
» A Deterministic Metaheuristic Approach Using
Sort
View
ICGI
2010
Springer
13 years 7 months ago
Exact DFA Identification Using SAT Solvers
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
Marijn J. H. Heule, Sicco Verwer
PERCOM
2005
ACM
14 years 8 months ago
Reducing the Calibration Effort for Location Estimation Using Unlabeled Samples
WLAN location estimation based on 802.11 signal strength is becoming increasingly prevalent in today's pervasive computing applications. As alternative to the wellestablished...
Xiaoyong Chai, Qiang Yang
HICSS
2009
IEEE
116views Biometrics» more  HICSS 2009»
14 years 3 months ago
Systems Modeling for IP-Based Handoff Using Timed Petri Nets
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, ...
ICPR
2008
IEEE
14 years 3 months ago
Human activities: Handling uncertainties using fuzzy time intervals
Persons may perform an activity in many different styles, or noise may cause an identical activity to have different temporal structures. We present a robust methodology for recog...
Michael S. Ryoo, Jake K. Aggarwal
TON
2010
113views more  TON 2010»
13 years 3 months ago
Transmit Power Estimation Using Spatially Diverse Measurements Under Wireless Fading
Abstract--Received power measurements at spatially distributed monitors can be usefully exploited to deduce various characteristics of active wireless transmitters. In this paper, ...
Murtaza Zafer, Bongjun Ko, Ivan Wang Hei Ho