281 search results - page 27 / 57 » Comparing operational models of name-passing process calculi |
VLSID
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper a new technique for partial product reduction based on the use of look-up tables for efficient processing is presented. We describe how to construct counter devices ...
122
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
Background modelling on tensor field has recently been proposed for foreground detection tasks. Taking into account the Riemannian structure of the tensor manifold, recent resear...
100
click to vote
BMCBI
2006
14 years 12 months ago
2006
Markov statistical methods may make it possible to develop an unsupervised learning process that can automatically identify genomic structure in prokaryotes in a comprehensive way...
107
click to vote
EAAI
2006
14 years 11 months ago
2006
This paper presents a feasibility study of evolutionary scheduling for gas pipeline operations. The problem is complex because of several constraints that must be taken into consi...
QOSA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...