6155 search results - page 1102 / 1231 » A language for multiple models of computation |
191
click to vote
FM
2009
Springer
16 years 29 days ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
164
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
195
click to vote
CGF
2006
15 years 6 months ago
2006
Based on the potential of current programmable GPUs, recently several approaches were developed that use the GPU to calculate deformations of surfaces like the folding of cloth or...
180
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...
194
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
The state of the art congestion control algorithms for wireless sensor networks respond to coarse-grained feedback regarding available capacity in the network with an additive inc...