298 search results - page 25 / 60 » Abstract Models of Transfinite Reductions |
142
click to vote
CHI
1995
ACM
15 years 7 months ago
1995
ACM
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
121
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...
132
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
112
click to vote
TIT
2008
15 years 3 months ago
2008
Abstract--This letter considers the average complexity of maximum-likelihood (ML) decoding of convolutional codes. ML decoding can be modeled as finding the most probable path take...
154
Voted
IACR
2011
14 years 3 months ago
2011
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We p...