1428 search results - page 93 / 286 » aims 2010 |
141
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
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 ...
131
click to vote
SOFSEM
2010
Springer
15 years 2 months ago
2010
Springer
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...
178
click to vote
SSPR
2010
Springer
15 years 2 months ago
2010
Springer
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 ...
174
click to vote
TAL
2010
Springer
15 years 2 months ago
2010
Springer
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...
153
click to vote
UC
2010
Springer
15 years 2 months ago
2010
Springer
The information processing capabilities of many proteins are currently unexplored. The complexities and high dimensional parameter spaces make their investigation impractical. Diff...