8828 search results - page 1287 / 1766 » Formal methods in practice |
159
click to vote
EGOV
2008
Springer
15 years 8 months ago
2008
Springer
Recently, the EU government has put a lot of effort into modernizing its public sectors using advanced information and communication technology (ICT). Together with various univers...
173
click to vote
ESA
2008
Springer
15 years 8 months ago
2008
Springer
The focus is on black-box optimization of a function f : RN R given as a black box, i. e. an oracle for f-evaluations. This is commonly called direct search, and in fact, most meth...
163
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The Creative Problem-Solving Research Group (CPSRG) at Lancaster University is a collaboration between psychologists and computer scientists conducting research into creativity, p...
217
click to vote
SDM
2010
SIAM
15 years 8 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...
169
click to vote
SDM
2010
SIAM
15 years 8 months ago
2010
SIAM
Rare category analysis is of key importance both in theory and in practice. Previous research work focuses on supervised rare category analysis, such as rare category detection an...