Sciweavers

219 search results - page 19 / 44
» Context-aware counter abstraction
Sort
View
77
Voted
STACS
2009
Springer
15 years 4 months ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk
65
Voted
CSL
2004
Springer
14 years 9 months ago
A Bounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
Mikolaj Bojanczyk
WAPCV
2007
Springer
15 years 3 months ago
Context Driven Focus of Attention for Object Detection
Abstract. Context plays an important role in general scene perception. In particular, it can provide cues about an object’s location within an image. In computer vision, object d...
Roland Perko, Ales Leonardis
EURONGI
2005
Springer
15 years 3 months ago
P2P-Based Mobility Management for Heterogeneous Wireless Networks and Mesh Networks
Abstract. The recent emergence of a whole plethora of new wireless technologies, such as IEEE802.15, IEEE802.11, and UMTS, etc, has exposed the limitations of mobility solutions in...
Amine M. Houyou, Hermann de Meer, Moritz Esterhazy
76
Voted
EUSAI
2003
Springer
15 years 2 months ago
Ultrasonic 3D Position Estimation Using a Single Base Station
Abstract. In indoor context awareness applications the location of people, devices or objects is often required. Ultrasound technology enables high resolution indoor position measu...
Esko O. Dijk, Kees van Berkel, Ronald M. Aarts, Ev...