Sciweavers

6650 search results - page 230 / 1330
» models 2009
Sort
View
GI
2009
Springer
15 years 11 months ago
Tracking an Extended Object Modeled as an Axis-Aligned Rectangle
: In many tracking applications, the extent of the target object is neglected and it is assumed that the received measurements stem from a point source. However, modern sensors are...
Marcus Baum, Uwe D. Hanebeck
TABLEAUX
2009
Springer
15 years 11 months ago
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
Luis Pinto, Tarmo Uustalu
BILDMED
2009
111views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Model-Based Characterization of Mammographic Masses
Abstract. The discrimination of benign and malignant types of mammographic masses is a major challenge for radiologists. The classic eigenfaces method was recently adapted for the ...
Sven-René von der Heidt, Matthias Elter, Th...
CDC
2009
IEEE
141views Control Systems» more  CDC 2009»
15 years 7 months ago
Decentralized receding horizon control for multiple unmanned helicopters considering dynamics model
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...
Yuqing He, Jianda Han
ESA
2010
Springer
220views Algorithms» more  ESA 2010»
15 years 7 months ago
Data Structures for Storing Small Sets in the Bitprobe Model
abstract appeared in Proc. 24th Annual Symposium of Computational Geometry (SoCG), 2008, pp. 338-345. S. Shannigrahi and S. P. Pal, "Efficient Prufer-like Coding and Counting ...
Jaikumar Radhakrishnan, Smit Shah 0001, Saswata Sh...