5227 search results - page 974 / 1046 » Constructing New Media |
174
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
164
click to vote
GFKL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Existing methods to text plagiarism analysis mainly base on “chunking”, a process of grouping a text into meaningful units each of which gets encoded by an integer nu...
198
click to vote
IPMI
2005
Springer
16 years 8 days ago
2005
Springer
Automatic multi-modal image registration is central to numerous tasks in medical imaging today and has a vast range of applications e.g., image guidance, atlas construction, etc. ...
210
click to vote
MICAI
2005
Springer
16 years 8 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
179
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...