Sciweavers

1428 search results - page 93 / 286
» aims 2010
Sort
View
SIGSOFT
2010
ACM
15 years 2 months ago
Through the looking glass of immaterial labor
Immaterial labor, which is a philosophical concept established by Maurizio Lazzarato and others for understanding the postFordism industry, refers to the process of producing the ...
Yunwen Ye, Kumiyo Nakakoji, Yasuhiro Yamamoto, Kou...
SOFSEM
2010
Springer
15 years 2 months ago
Forcing Monotonicity in Parameterized Verification: From Multisets to Words
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
Parosh Aziz Abdulla
SSPR
2010
Springer
15 years 2 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...
TAL
2010
Springer
15 years 2 months ago
Passage Retrieval in Log Files: An Approach Based on Query Enrichment
Abstract. The question answering systems are considered the next generation of search engines. This paper focuses on the first step of this process, which is to search for relevant...
Hassan Saneifar, Stéphane Bonniol, Anne Lau...
UC
2010
Springer
15 years 2 months ago
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter
The information processing capabilities of many proteins are currently unexplored. The complexities and high dimensional parameter spaces make their investigation impractical. Diff...
Chris Lovell, Gareth Jones, Steve R. Gunn, Klaus-P...