2623 search results - page 177 / 525 » tools 2010 |
153
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-proce...
151
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
The development of the adjoint of the forecast model and of the adjoint of the data assimilation system (adjoint-DAS) make feasible the evaluation of the derivative-based forecast...
174
click to vote
APAL
2010
15 years 4 months ago
2010
The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07...
169
click to vote
HCSE
2010
15 years 4 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
152
click to vote
HCSE
2010
15 years 4 months ago
2010
The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input w...