Sciweavers

4051 search results - page 444 / 811
» Aggregation
Sort
View
EUSFLAT
2009
118views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
Hannes Strass, Susana Muñoz-Hernánde...
FAST
2009
15 years 4 months ago
Cumulus: Filesystem Backup to the Cloud
In this paper we describe Cumulus, a system for efficiently implementing filesystem backups over the Internet. Cumulus is specifically designed under a thin cloud assumption--that...
Michael Vrable, Stefan Savage, Geoffrey M. Voelker
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 4 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
169
Voted
ICMCS
2009
IEEE
102views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Characterizing conversational group dynamics using nonverbal behaviour
This paper addresses the novel problem of characterizing conversational group dynamics. It is well documented in social psychology that depending on the objectives a group, the dy...
Dinesh Babu Jayagopi, Bogdan Raducanu, Daniel Gati...
ICWN
2009
15 years 3 months ago
Wireless Sensor Network for Landslide Detection
Abstract-- The power of wireless sensor network techonology has provided the capability of developing large scale systems for real-time monitoring.This paper describes the evolutio...
Maneesha V. Ramesh, Sangeeth Kumar, P. Venkat Rang...