Sciweavers

3557 search results - page 369 / 712
» Reviews
Sort
View
CADE
2010
Springer
15 years 8 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
CCIA
2009
Springer
15 years 8 months ago
2-LAMA Architecture vs. BitTorrent Protocol in a Peer-to-Peer Scenario
Abstract. In this paper, we review our Multi-Agent System (MAS) architecture (2LAMA) proposed to assist existing MAS. This architecture consists of two levels: the conventional MAS...
Jordi Campos Miralles, Maite López-Sá...
ECAI
2010
Springer
15 years 8 months ago
Multi Grain Sentiment Analysis using Collective Classification
Abstract. Multi grain sentiment analysis is the task of simultaneously classifying sentiment expressed at different levels of granularity, as opposed to single level at a time. Mod...
S. Shivashankar, B. Ravindran
EDUTAINMENT
2010
Springer
15 years 8 months ago
Transferring Design Knowledge: Challenges and Opportunities
Design becomes more and more the art of bringing together expertise and experts from different domains in creating future products. Synthetical knowledge and hands-on skills in des...
Jun Hu, Wei Chen, Christoph Bartneck, Matthias Rau...
GISCIENCE
2010
Springer
285views GIS» more  GISCIENCE 2010»
15 years 8 months ago
Visual Exploration of Eye Movement Data Using the Space-Time-Cube
Abstract. Eye movement recordings produce large quantities of spatiotemporal data, and are more and more frequently used as an aid to gain further insight into human thinking in us...
Xia Li, Arzu Çöltekin, Menno-Jan Kraak