797 search results - page 149 / 160 » Observing Success in the Pi-Calculus |
JSAT
2008
14 years 9 months ago
2008
The local search algorithm GSAT is based on the notion of Satisfiability. It has been used successfully for colouring graphs, solving instances of the 3SAT problem, planning block...
JSAC
2006
14 years 9 months ago
2006
ABSTRACT. Network service providers and customers are often concerned with aggregate performance measures that span multiple network paths. Unfortunately, forming such network-wide...
PAMI
2008
14 years 9 months ago
2008
Recently proposed Sobolev active contours introduced a new paradigm for minimizing energies defined on curves by changing the traditional cost of perturbing a curve and thereby red...
PR
2008
14 years 9 months ago
2008
Face Representation (FR) plays a typically important role in face recognition and methods such as Principal Component Analysis (PCA) and Linear Discriminant Analysis (LDA) have be...
NN
2006
Springer
14 years 9 months ago
2006
Springer
An important component of language acquisition and cognitive learning is gaze imitation. Infants as young as one year of age can follow the gaze of an adult to determine the objec...