Sciweavers

11063 search results - page 80 / 2213
» On the existence of universal models
Sort
View
FM
1999
Springer
111views Formal Methods» more  FM 1999»
14 years 2 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff

Publication
207views
14 years 8 months ago
Incorporating Higher-Order Cues in Image Colorization
We consider the colorization problem of grayscale images when some pixels, called scribbles, with initial colors are given. In this paper, we propose a new multi-layer graph model ...
Tae Hoon Kim (Seoul National University), Kyoung M...
WG
2010
Springer
13 years 8 months ago
Network Exploration by Silent and Oblivious Robots
In this paper we investigate the basic problem of Exploration of a graph by a group of identical mobile computational entities, called robots, operating autonomously and asynchrono...
Jérémie Chalopin, Paola Flocchini, B...
ICDE
2006
IEEE
146views Database» more  ICDE 2006»
14 years 4 months ago
Supporting Predicate-Window Queries in Data Stream Management Systems
The window query model is widely used in data stream management systems where the focus of a continuous query is limited to a set of the most recent tuples. In this dissertation, ...
Thanaa M. Ghanem
GECCO
2005
Springer
232views Optimization» more  GECCO 2005»
14 years 3 months ago
Factorial representations to generate arbitrary search distributions
A powerful approach to search is to try to learn a distribution of good solutions (in particular of the dependencies between their variables) and use this distribution as a basis ...
Marc Toussaint