Sciweavers

2842 search results - page 223 / 569
» Expansion and Search in Networks
Sort
View
DSN
2009
IEEE
16 years 1 months ago
Fitness-guided path exploration in dynamic symbolic execution
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
AAAI
2004
15 years 8 months ago
Leap Before You Look: An Effective Strategy in an Oversubscribed Scheduling Problem
Oversubscribed scheduling problems require removing or partially satisfying tasks when enough resources are not available. For a particular oversubscribed problem, Air Force Satel...
Laura Barbulescu, L. Darrell Whitley, Adele E. How...
CGI
2000
IEEE
15 years 11 months ago
Neural Network-based Violinist's Hand Animation
We present a system for the animation of human hand that plays violin. Neural network controls the hand movement. We make use of an optimization method to generate the examples fo...
Junhwan Kim, Frederic Cordier, Nadia Magnenat-Thal...
ASUNAM
2010
IEEE
15 years 8 months ago
Empirical Study of Social Features' Roles in Buyers' Complex Decision Making
This paper aims at studying the roles of social features (as obtained from social networking sources) in buyers' decision process when they are searching for products to buy. ...
Li Chen
GAMEON
2001
15 years 8 months ago
A New Computational Approach to the Game of Go
This paper investigates the application of neural network techniques to the creation of a program that can play the game of Go with some degree of success. The combination of soft...
Julian Churchill, Richard Cant, David Al-Dabass