Sciweavers

3394 search results - page 65 / 679
» A Modal Model of Memory
Sort
View
SSPR
2010
Springer
13 years 7 months ago
Impact of Visual Information on Text and Content Based Image Retrieval
Abstract. Nowadays, multimedia documents composed of text and images are increasingly used, thanks to the Internet and the increasing capacity of data storage. It is more and more ...
Christophe Moulin, Christine Largeron, Mathias G&e...
ICASSP
2011
IEEE
13 years 1 months ago
A regularization framework for mobile social network analysis
Mobile phone data provides rich dynamic information on human activities in social network analysis. In this paper, we represent data from two different modalities as a graph and f...
Xiaowen Dong, Pascal Frossard, Pierre Vandergheyns...
SPDP
1991
IEEE
14 years 1 months ago
Local vs. global memory in the IBM RP3: experiments and performance modelling
A number of experiments regarding the placement of instructions, private data and shared data in the Non-Uniform-Memory-Access multiprocessor, RP3 has been performed. Three Scient...
Mats Brorsson
STTT
2010
115views more  STTT 2010»
13 years 8 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
FOSSACS
2007
Springer
14 years 4 months ago
On the Expressiveness and Complexity of ATL
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
François Laroussinie, Nicolas Markey, Ghass...