Sciweavers

13784 search results - page 2638 / 2757
» On Computing Functions with Uncertainty
Sort
View
EDOC
2008
IEEE
14 years 3 months ago
Reliable Discovery and Selection of Composite Services in Mobile Environments
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
Lucia Del Prete, Licia Capra
ICCCN
2008
IEEE
14 years 3 months ago
TRACK: A Novel Connected Dominating Set based Sink Mobility Model for WSNs
—The core functionality of a wireless sensor network (WSN) is to detect deviations in expected normal behavior and report it to the sink. In this paper, we propose TRACK — a no...
Avinash Srinivasan, Jie Wu
ICMCS
2008
IEEE
165views Multimedia» more  ICMCS 2008»
14 years 3 months ago
Hyperacoustic instruments: Computer-controlled instruments that are not electrophones
This paper describes a musical instrument consisting of a physical process that acoustically generates sound from the material world (i.e. sound derived from matter such as solid,...
Steve Mann, Ryan E. Janzen, Raymond Lo
INFOCOM
2008
IEEE
14 years 3 months ago
The Inframetric Model for the Internet
—A large amount of algorithms has recently been designed for the Internet under the assumption that the distance defined by the round-trip delay (RTT) is a metric. Moreover, man...
Pierre Fraigniaud, Emmanuelle Lebhar, Laurent Vien...
LICS
2008
IEEE
14 years 3 months ago
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
Søren Riis
« Prev « First page 2638 / 2757 Last » Next »