Sciweavers

1328 search results - page 201 / 266
» Info Cases: Integrating Use Cases and Domain Models
Sort
View
ICCV
2007
IEEE
15 years 4 months ago
Total Recall: Automatic Query Expansion with a Generative Feature Model for Object Retrieval
Given a query image of an object, our objective is to retrieve all instances of that object in a large (1M+) image database. We adopt the bag-of-visual-words architecture which ha...
Ondrej Chum, James Philbin, Josef Sivic, Michael I...
ICPR
2008
IEEE
15 years 11 months ago
A method of small object detection and tracking based on particle filters
In this paper an efficient method of small object localization is proposed that integrates detection and tracking. The system is initialized using a strong detector and then it lo...
Chao Zhang, Joan Llach, Yu Huang
IPMI
2003
Springer
15 years 10 months ago
Symmetric BEM Formulation for the M/EEG Forward Problem
Abstract. The forward M/EEG problem consists in simulating the electric potential and the magnetic field produced outside the head by currents in the brain related to neural activi...
Geoffray Adde, Maureen Clerc, Olivier D. Faugeras,...
ICS
1992
Tsinghua U.
15 years 1 months ago
The CODE 2.0 graphical parallel programming language
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
Peter Newton, James C. Browne
JALC
2006
87views more  JALC 2006»
14 years 9 months ago
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
Maurice H. ter Beek, Gabriele Lenzini, Marinella P...