Sciweavers

2797 search results - page 84 / 560
» Control Structures
Sort
View
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
15 years 5 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
CAISE
2003
Springer
15 years 4 months ago
No-redundant Metrics for UML Class Diagram Structural Complexity
In software engineering it is widely acknowledged that the usage of metrics at the initial phases of the object oriented software life cycle can help designers to make better decis...
M. Esperanza Manso, Marcela Genero, Mario Piattini
HT
2005
ACM
15 years 4 months ago
Supporting the generation of argument structure within video sequences
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
Stefano Bocconi, Frank Nack, Lynda Hardman
ACCV
2010
Springer
14 years 6 months ago
A Weak Structure Model for Regular Pattern Recognition Applied to Facade Images
Abstract. We propose a novel method for recognition of structured images and demonstrate it on detection of windows in facade images. Given an ability to obtain local low-level dat...
Radim Tylecek, Radim Sára
GECCO
2005
Springer
132views Optimization» more  GECCO 2005»
15 years 4 months ago
Takeover time curves in random and small-world structured populations
We present discrete stochastic mathematical models for the growth curves of synchronous and asynchronous evolutionary algorithms with populations structured according to a random ...
Mario Giacobini, Marco Tomassini, Andrea Tettamanz...