7109 search results - page 112 / 1422 » Process Algebra with Combinators |
132
Voted
EICS
2009
ACM
15 years 9 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
132
click to vote
ISSAC
2007
Springer
15 years 9 months ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
126
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
The goal of this paper is to present a new recipe for the fractal image decoding process. In this paper, we explain how fractal-based methods can be internally combined with regul...
144
click to vote
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
120
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A well-known difficulty with solving Constraint Satisfaction Problems (CSPs) is that, while one formulation of a CSP may enable a solver to solve it quickly, a different ...