Sciweavers

723 search results - page 38 / 145
» Exclusion for composite objects
Sort
View
103
Voted
ICCV
2007
IEEE
16 years 5 months ago
Using Color Compatibility for Assessing Image Realism
Why does placing an object from one photograph into another often make the colors of that object suddenly look wrong? One possibility is that humans prefer distributions of colors...
Alexei A. Efros, Jean-François Lalonde
109
Voted
CORR
2004
Springer
87views Education» more  CORR 2004»
15 years 3 months ago
Roles Are Really Great!
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
Viktor Kuncak, Patrick Lam, Martin C. Rinard
LOPSTR
1998
Springer
15 years 7 months ago
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
Andreas Hamfelt, Jørgen Fischer Nilsson
129
Voted
ROOM
2000
15 years 4 months ago
On the Compositional Properties of UML Statechart Diagrams
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
Anthony J. H. Simons
134
Voted
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
15 years 1 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...