4084 search results - page 725 / 817 » Constraints in spatial structures |
113
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
122
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
We develop a semi-supervised learning method that constrains the posterior distribution of latent variables under a generative model to satisfy a rich set of feature expectation c...
103
click to vote
ISLPED
2010
ACM
15 years 1 months ago
2010
ACM
Booth encoding is believed to yield faster multiplier designs with higher energy consumption. 16x16-bit Booth and NonBooth multipliers are analyzed in energy and delay space under...
104
click to vote
VRML
2010
ACM
15 years 1 months ago
2010
ACM
This paper presents a framework, integrated into the X3D file format, for the streaming of 3D content in the context of remote scientific visualization; a progressive mesh compres...
120
click to vote
DEXA
2010
Springer
15 years 1 months ago
2010
Springer
Given a spatio-temporal network (ST network) whose edge properties vary with time, a time-sub-interval minimum spanning tree (TSMST) is a collection of distinct minimum spanning t...