1788 search results - page 204 / 358 » Model Theory for Process Algebra |
146
Voted
DAGM
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we extend anisotropic diffusion with a diffusion tensor to be applicable to data that is well modeled by linear models. We focus on its variational theory, and invest...
118
Voted
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
142
click to vote
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
160
click to vote
ICMLA
2010
15 years 1 months ago
2010
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...
171
Voted
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...