2171 search results - page 151 / 435 » A Generic Process Algebra |
163
click to vote
DAGM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper proposes a regression-based method for singleimage super-resolution. Kernel ridge regression (KRR) is used to estimate the high-frequency details of the underl...
124
Voted
ICAI
2003
15 years 4 months ago
2003
In our research, we have developed an architecture and computational structure that allows for a generic team of robots to dynamically discern what their capabilities are and then...
117
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
The main tools of Mathematical Morphology are a broad class of nonlinear image operators. They can be defined in terms of algebraic set operators or as Partial Differential Equati...
116
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
124
click to vote
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...