1536 search results - page 278 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
MST
2011
14 years 4 months ago
2011
In this paper we generalize the Continuous Adversarial Queuing Theory (CAQT) model [5] by considering the possibility that the router clocks in the network are not synchronized. W...
ESANN
2007
14 years 11 months ago
2007
Since perceptual and motor processes in the brain are the result of interactions between neurons, layers and areas, a lot of attention has been directed towards the development of...
CIKM
2011
Springer
13 years 9 months ago
2011
Springer
Traditional information retrieval techniques based on keyword search help to identify a ranked set of relevant documents, which often contains many documents in the top ranks that...
101
Voted
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Giving suggestions to users of Web-based services is a common practice aimed at enhancing their navigation experience. Major Web Search Engines usually provide Suggestions under t...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
We propose a novel approach to find aliases of a given name from the web. We exploit a set of known names and their aliases as training data and extract lexical patterns that conv...