Sciweavers

8933 search results - page 220 / 1787
» Usability over time
Sort
View
BIRTHDAY
2009
Springer
15 years 7 months ago
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C...
CEC
2010
IEEE
15 years 7 months ago
Interactive interpolating crossover in grammatical evolution
Interactive interpolating crossover allows a user to quickly see a large number of individuals formed by interactively-controlled interpolation between two or more parents. We stud...
James McDermott, Michael O'Neill, Anthony Brabazon
ICCVG
2010
15 years 7 months ago
Visual Codebooks Survey for Video On-Line Processing
Abstract. This paper explores techniques in the pipeline of image description based on visual codebooks suitable for video on-line processing. The pipeline components are (i) extra...
Vítezslav Beran, Pavel Zemcík
HCI
2009
15 years 4 months ago
Interactive Object Segmentation System from a Video Sequence
In this paper, we present an interactive object segmentation system form video, such as TV products and films, for converting 2D to 3D contents. It is focused on reducing the proce...
Guntae Bae, Soo Yeong Kwak, Hyeran Byun
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 1 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot