2702 search results - page 296 / 541 » Practically Applicable Formal Methods |
170
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
135
click to vote
IJCV
2008
15 years 2 months ago
2008
Histograms of local appearance descriptors are a popular representation for visual recognition. They are highly discriminant with good resistance to local occlusions and to geomet...
141
Voted
SAB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
122
Voted
ICASSP
2007
IEEE
15 years 9 months ago
2007
IEEE
In most microphone array applications, it is essential to localize sources in a noisy, reverberant environment. It has been shown that computing the steered response power(SRP) is...
120
Voted
AUTONOMICS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. Adaptation of devices and applications based on contextual information has a great potential to enhance usability and mitigate the increasing complexity of mobile devices...