Sciweavers

7189 search results - page 235 / 1438
» Connecting Design with Code
Sort
View
148
Voted
GECCO
2005
Springer
149views Optimization» more  GECCO 2005»
15 years 9 months ago
There's more to a model than code: understanding and formalizing in silico modeling experience
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
Janet Wiles, Nicholas Geard, James Watson, Kai Wil...
102
Voted
JSYML
2002
70views more  JSYML 2002»
15 years 3 months ago
Coding with Ladders A Well Ordering of The Reals
Any model of ZFC + GCH has a generic extension (made with a poset of size 2) in which the following hold: MA + 20 = 2+ there exists a 2 1-well ordering of the reals. The proof con...
Uri Abraham, Saharon Shelah
109
Voted
ICASSP
2009
IEEE
15 years 1 months ago
Cache-based integer motion/disparity estimation for quad-HD H.264/AVC and HD multiview video coding
To provide more vivid perception, more and more advanced features, like the 4k
Pei-Kuei Tsung, Wei-Yin Chen, Li-Fu Ding, Shao-Yi ...
97
Voted
PG
2007
IEEE
15 years 10 months ago
Computer-Generated Papercutting
The craft of papercutting is part of the folk art traditions of cultures all over the world. From the point of view of computer graphics, papercutting can be seen as a method of c...
Jie Xu, Craig S. Kaplan, Xiaofeng Mi
167
Voted
DIGRA
2005
Springer
15 years 9 months ago
Framing Virtual Law
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...
Peter Edelmann