Sciweavers

481 search results - page 55 / 97
» Differential symbolic execution
Sort
View
85
Voted
FECS
2006
159views Education» more  FECS 2006»
15 years 1 months ago
Evolving Mathematical Functions with Genetic Algorithms - A Team Project on Artificial Intelligence
- In contrast to most of the senior level Artificial Intelligence (AI) courses where AI is taught in the jargon of theoretical computer science with crowd of complex matrix algebra...
Zhiguang Xu, Chris Neasbitt, Jared Summers, Bill C...
93
Voted
COGSCI
2010
88views more  COGSCI 2010»
15 years 19 days ago
Domain-Creating Constraints
The contributions to this special issue on cognitive development collectively propose ways in which learning involves developing constraints that shape subsequent learning. A lear...
Robert L. Goldstone, David Landy
68
Voted
CORR
2006
Springer
94views Education» more  CORR 2006»
15 years 17 days ago
Computing spectral sequences
John McCleary insisted in his interesting textbook entitled "User's guide to spectral sequences" on the fact that the tool "spectral sequence" is not in t...
Ana Romero, Julio Rubio, Francis Sergeraert
121
Voted
ICPR
2010
IEEE
14 years 10 months ago
One-Lead ECG-based Personal Identification Using Ziv-Merhav Cross Parsing
The advance of falsification technology increases security concerns and gives biometrics an important role in security solutions. The electrocardiogram (ECG) is an emerging biometr...
David Pereira Coutinho, Ana L. N. Fred, Már...
TSP
2011
162views more  TSP 2011»
14 years 7 months ago
Space-Time Network Coding
Abstract—In multinode cooperative communications, simultaneous transmissions from two or more nodes are challenging due to its asynchronous nature. In addition, channel estimatio...
Hung-Quoc Lai, K. J. Ray Liu