3713 search results - page 276 / 743 » Constructing a Calculus of Programs |
140
click to vote
ICMCS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we propose a method to extract and verify individual speaker utterance using a subspace method. This method can extract speech section of the same speaker by repeat...
141
click to vote
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observ...
119
click to vote
NIPS
2007
15 years 5 months ago
2007
The control of high-dimensional, continuous, non-linear dynamical systems is a key problem in reinforcement learning and control. Local, trajectory-based methods, using techniques...
140
click to vote
IJCAI
2001
15 years 5 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
113
Voted
GPEM
2006
15 years 4 months ago
2006
This paper presents a Genetic Programming (GP) approach to the design of Mathematical Morphology (MM) algorithms for binary images. The algorithms are constructed using logic opera...