Sciweavers

9210 search results - page 349 / 1842
» Analyzing Real-Time Systems
Sort
View
149
Voted
ISLPED
2003
ACM
197views Hardware» more  ISLPED 2003»
15 years 8 months ago
Analyzing the energy consumption of security protocols
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
Nachiketh R. Potlapally, Srivaths Ravi, Anand Ragh...
SOFSEM
2010
Springer
16 years 14 days ago
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
Alain Finkel, Arnaud Sangnier
138
Voted
AIIA
2009
Springer
15 years 10 months ago
Analyzing Interactive QA Dialogues Using Logistic Regression Models
With traditional Question Answering (QA) systems having reached nearly satisfactory performance, an emerging challenge is the development of successful Interactive Question Answeri...
Manuel Kirschner, Raffaella Bernardi, Marco Baroni...
IAT
2005
IEEE
15 years 9 months ago
Analyzing Myopic Approaches for Multi-Agent Communication
Choosing when to communicate is a fundamental problem in multi-agent systems. This problem becomes particularly hard when communication is constrained and each agent has different...
Raphen Becker, Victor R. Lesser, Shlomo Zilberstei...
182
Voted
ITRUST
2004
Springer
15 years 9 months ago
Analyzing Correlation between Trust and User Similarity in Online Communities
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
Cai-Nicolas Ziegler, Georg Lausen