2314 search results - page 346 / 463 » Monoids over domains |
109
Voted
CN
2006
15 years 1 months ago
2006
The increasingly prominent new subset of Web pages, called `blogs' differs from traditional Web pages both in characteristics and potential to applications. We explore three ...
113
click to vote
ENTCS
2006
15 years 1 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
127
Voted
ISCI
2008
15 years 1 months ago
2008
In this paper we propose a new probability update rule and sampling procedure for population-based incremental learning. These proposed methods are based on the concept of opposit...
118
click to vote
IJCV
2006
15 years 1 months ago
2006
Suppose two perspective views of four world points are given and that the intrinsic parameters are known but the camera poses and the world point positions are not. We prove that t...
111
click to vote
JCIT
2008
15 years 1 months ago
2008
Automatic speech recognition by machine is one of the most efficient methods for man-machine communications. Because speech waveform is nonlinear and variant. Speech recognition r...