Sciweavers

4353 search results - page 527 / 871
» Computational Challenges of Systems Biology
Sort
View
ERSHOV
2006
Springer
15 years 10 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
HUC
2000
Springer
15 years 10 months ago
Notable: At the Intersection of Annotations and Handheld Technology
The Notable annotation system enables users to annotate paper documents using handheld devices in a mobile environment. This paper describes the design issues and solutions that a...
Michelle Q. Wang Baldonado, Steve B. Cousins, Jace...
ECCV
2010
Springer
15 years 10 months ago
Visual Tracking using a Pixelwise Spatiotemporal Oriented Energy Representation
Abstract. This paper presents a novel pixelwise representation for visual tracking that models both the spatial structure and dynamics of a target in a unified fashion. The represe...
AAAI
2007
15 years 9 months ago
Anytime Coordination Using Separable Bilinear Programs
Developing scalable coordination algorithms for multi-agent systems is a hard computational challenge. One useful approach, demonstrated by the Coverage Set Algorithm (CSA), explo...
Marek Petrik, Shlomo Zilberstein
ECCV
2010
Springer
15 years 8 months ago
Inter-Camera Association of Multi-Target Tracks by On-line Learned Appearance Affinity Models
We propose a novel system for associating multi-target tracks across multiple non-overlapping cameras by an on-line learned discriminative appearance affinity model. Collecting rel...