677 search results - page 117 / 136 » Rigorous Object-Oriented Analysis |
89
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This work analyzes the performance of speaker recognition when carried out by human lay listeners. In forensics, judges and jurors usually manifest intuition that people is profi...
162
Voted
ACNS
2011
Springer
14 years 4 months ago
2011
Springer
The increasing use of computing devices for social interactions propels the proliferation of online social applications, yet, it prompts a number of privacy concerns. One common p...
152
Voted
GECCO
2011
Springer
14 years 4 months ago
2011
Springer
In continuous optimisation, surrogate models (SMs) are used when tackling real-world problems whose candidate solutions are expensive to evaluate. In previous work, we showed that...
103
Voted
POPL
2011
ACM
14 years 3 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
131
Voted
ICCV
2011
IEEE
14 years 22 days ago
2011
IEEE
Background modelling on tensor field has recently been proposed for foreground detection tasks. Taking into account the Riemannian structure of the tensor manifold, recent resear...