1902 search results - page 242 / 381 » Differential Dynamic Logics |
198
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Conventional high-performance processors utilize register renaming and complex broadcast-based scheduling logic to steer instructions into a small number of heavily-pipelined exec...
203
click to vote
VIS
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- Methods that faithfully and robustly capture the geometry of complex material interfaces in labeled volume data are important for generating realistic and accurate visua...
135
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Animal development can be described as a complex, threedimensional cellular system that changes dramatically across time as a consequence of cell proliferation, differentiation an...
167
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes a new collaboration technology that is based on the support of lightweight, informally structured, opportunistic activities featuring heterogeneous threads of...
147
click to vote
WSDM
2009
ACM
16 years 1 months ago
2009
ACM
The rapid globalization of Wikipedia is generating a parallel, multi-lingual corpus of unprecedented scale. Pages for the same topic in many different languages emerge both as a r...