5630 search results - page 352 / 1126 » Computability in Specification |
180
Voted
TIT
2010
15 years 1 months ago
2010
Abstract--Glass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-di...
211
click to vote
PVG
2003
IEEE
16 years 4 days ago
2003
IEEE
A number of problems are well suited for volumetric representation for both simulation and storage, however, the large amount of data that needs to be processed and rendered with ...
238
Voted
CVPR
2009
IEEE
2009
IEEE
Continuous Ratio Optimization via Convex Relaxation with Applications to Multiview 3D Reconstruction
17 years 2 months ago
We introduce a convex relaxation framework to optimally
minimize continuous surface ratios. The key idea is to minimize
the continuous surface ratio by solving a sequence
of con...
164
click to vote
DCC
1998
IEEE
15 years 11 months ago
1998
IEEE
The increasing importance of Unicode for text files, for example with Java and in some modern operating systems, implies a possible doubling of data storage space and data transmi...
145
Voted
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
This paper examines how software developers discuss users and how such discussions are intrinsic to the negotiation and settling of technical decisions in the development and test...