Sciweavers

444 search results - page 7 / 89
» More Colourful Simplices
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
13 years 9 months ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...
SEC
2008
13 years 8 months ago
Detecting More SIP Attacks on VoIP Services by Combining Rule Matching and State Transition Models
The Session Initiation Protocol (SIP) has been used widely for Voice over IP (VoIP) service because of its potential advantages, economical efficiency and call setup simplicity. Ho...
Dongwon Seo, Heejo Lee, Ejovi Nuwere
SIGIR
2002
ACM
13 years 7 months ago
Web question answering: is more always better?
This paper describes a question answering system that is designed to capitalize on the tremendous amount of data that is now available online. Most question answering systems use ...
Susan T. Dumais, Michele Banko, Eric Brill, Jimmy ...
NORDICHI
2006
ACM
14 years 1 months ago
Augmenting refrigerator magnets: why less is sometimes more
In this paper we present a number of augmented refrigerator magnet concepts. The concepts are shown to be derived from previous research into the everyday use of fridge surfaces. ...
Alex S. Taylor, Laurel Swan, Rachel Eardley, Abiga...
WEBDB
2010
Springer
171views Database» more  WEBDB 2010»
14 years 13 days ago
Improved Recommendations via (More) Collaboration
We consider in this paper a popular class of recommender systems that are based on Collaborative Filtering (CF for short). CF is the process of predicting customer ratings to item...
Rubi Boim, Haim Kaplan, Tova Milo, Ronitt Rubinfel...