Sciweavers

14699 search results - page 391 / 2940
» Complexity and Cognitive Computing
Sort
View
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
15 years 3 months ago
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
Christophe Alias, Alain Darte, Paul Feautrier, Lau...
IWPEC
2010
Springer
15 years 2 months ago
On the Kernelization Complexity of Colorful Motifs
The Colorful Motif problem asks if, given a vertex-colored graph G, there exists a subset S of vertices of G such that the graph induced by G on S is connected and contains every c...
Abhimanyu M. Ambalath, Radheshyam Balasundaram, Ch...
ICCV
2007
IEEE
16 years 6 months ago
Unsupervised Joint Alignment of Complex Images
Many recognition algorithms depend on careful positioning of an object into a canonical pose, so the position of features relative to a fixed coordinate system can be examined. Cu...
Gary B. Huang, Vidit Jain, Erik G. Learned-Miller
ICPR
2008
IEEE
16 years 6 months ago
Detecting global motion patterns in complex videos
Learning dominant motion patterns or activities from a video is an important surveillance problem, especially in crowded environments like markets, subways etc., where tracking of...
Min Hu, Mubarak Shah, Saad Ali
CHI
2005
ACM
16 years 5 months ago
Single complex glyphs versus multiple simple glyphs
Designers of information visualization systems have the choice to present information in a single integrated view or in multiple views. In practice, there is a continuum between t...
Beth Yost, Chris North