4171 search results - page 784 / 835 » Distributed Data Structure Design for Scientific Computation |
110
Voted
CVBIA
2005
Springer
15 years 6 months ago
2005
Springer
Most variational active contour models are designed to find the “desirable” local minima of data-dependent energy functionals with the hope of avoiding undesirable configurat...
150
click to vote
SAC
2008
ACM
15 years 1 days ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
115
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
108
Voted
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract- We present an architecture and VLSI implemen- Various strategies in the analysis of spatio-temporal dynamtation of a distributed neural interface and spatio-temporal ics ...
137
click to vote
MOBICOM
2003
ACM
15 years 5 months ago
2003
ACM
Significant TCP unfairness in ad hoc wireless networks has been reported during the past several years. This unfairness results from the nature of the shared wireless medium and ...