1536 search results - page 293 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
INTERACTION
2009
ACM
14 years 2 months ago
2009
ACM
Ocean circulation plays an important role in global climate change. In an effort to monitor ocean circulation an infrastructure of more than 3,000 buoys have been deployed in the ...
KDD
1998
ACM
13 years 11 months ago
1998
ACM
We consider the problem of aggregation for uncertain and imprecise data. For such data, we define aggregation operators and use them to provide information on properties and patte...
CONNECTION
2006
13 years 7 months ago
2006
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...
TMRA
2005
Springer
14 years 29 days ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper we present a new architecture for face recognition with a single reference image, which completely separates the training process from the recognition process. In th...