Sciweavers

3972 search results - page 667 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
122
Voted
GECCO
2008
Springer
116views Optimization» more  GECCO 2008»
15 years 4 months ago
Stock trading strategies by genetic network programming with flag nodes
Genetic Network Programming (GNP) has been proposed as a graph-based evolutionary algorithm. GNP works well especially in dynamic environments due to its graph structures. In addi...
Shingo Mabu, Yan Chen, Etsushi Ohkawa, Kotaro Hira...
140
Voted
CVPR
2010
IEEE
15 years 3 months ago
A probabilistic framework for joint segmentation and tracking
Most tracking algorithms implicitly apply a coarse segmentation of each target object using a simple mask such as a rectangle or an ellipse. Although convenient, such coarse segme...
Chad Aeschliman, Johnny Park, Avinash C. Kak
112
Voted
CACM
2007
164views more  CACM 2007»
15 years 3 months ago
Is abstraction the key to computing?
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
Jeff Kramer
136
Voted
TCOM
2008
124views more  TCOM 2008»
15 years 3 months ago
Reliable adaptive modulation and interference mitigation for mobile radio slow frequency hopping channels
: Due to correlated fading in frequency hopping (FH) wireless communication systems, it is possible to predict the future channel state information (CSI) for one frequency based on...
Ming Lei, Alexandra Duel-Hallen, Hans Hallen
139
Voted
ASE
2005
103views more  ASE 2005»
15 years 3 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...