Sciweavers

298 search results - page 26 / 60
» Evolving dependability
Sort
View
ICASSP
2010
IEEE
13 years 7 months ago
Finding emotionally involved speech using implicitly proximity-annotated laughter
Browsing through collections of audio recordings of conversation nominally relies on the processing of participants’ lexical productions. The evolving verbal and non-verbal cont...
Kornel Laskowski
DEBU
2010
147views more  DEBU 2010»
13 years 7 months ago
Evaluating the Effectiveness of Keyword Search
The prevalence of free text search in web search engines has inspired recent interest in keyword search on relational databases. Whereas relational queries formally specify matchi...
William Webber
DISOPT
2008
88views more  DISOPT 2008»
13 years 7 months ago
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
Renato Bruni, Andrea Santori
CG
2010
Springer
13 years 7 months ago
Medley of spirals from cyclic cellular automata
Cyclic cellular automata on the integer planar lattice are known to typically evolve through distinct phases ending with minimal periodic terminal states that usually appear as in...
Clifford A. Reiter
ISSE
2010
13 years 6 months ago
An integrated multi-view model evolution framework
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
Volker Stolz