1689 search results - page 222 / 338 » On Natural Non-dcpo Domains |
149
click to vote
MODELS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
166
click to vote
MODELS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
145
click to vote
SAT
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
169
click to vote
SCALESPACE
2007
Springer
16 years 14 days ago
2007
Springer
In clinical applications where structural asymmetries between homologous shapes have been correlated with pathology, the questions of definition and quantification of ‘asymmetr...
182
click to vote
SOFSEM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...