53327 search results - page 10398 / 10666 » or 2007 |
167
click to vote
SOFSEM
2007
Springer
16 years 8 days ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
231
click to vote
SPEAKERC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. This work describes the development of an automatic estimator of perceptual femininity (PF) of an input utterance using speaker verification techniques. The estimator wa...
165
click to vote
SPIN
2007
Springer
16 years 8 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
173
click to vote
SPIN
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
185
click to vote
SSD
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Modern mobile phones and PDAs are equipped with positioning capabilities (e.g., GPS). Users can access public location-based services (e.g., Google Maps) and ask spatial ...