Search Sciweavers | Sciweavers

840 search results - page 6 / 168

» XML: From Practice to Theory

click to vote

MOBICOM
2006
ACM

95views Communications» more MOBICOM 2006»

Packet-level diversity - from theory to practice: an 802.11-based experimental investigation

14 years 1 months ago

Download www.seas.upenn.edu

Evangelos Vergetis, Eric Pierce, Marc Blanco, Roch...

claim paper

Read More »

click to vote

LICS
2003
IEEE

208views Automated Reasoning» more LICS 2003»

Model checking for probability and time: from theory to practice

14 years 26 days ago

Download www.prismmodelchecker.org

Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...

Marta Z. Kwiatkowska

claim paper

Read More »

click to vote

KI
2001
Springer

93views Artificial Intelligence» more KI 2001»

From Theory to Practice: AI Planning for High Performance Elevator Control

14 years 1 days ago

Download www.zurich.ibm.com

Jana Koehler

claim paper

Read More »

click to vote

AAAI
2006

138views Intelligent Agents» more AAAI 2006»

Local Negotiation in Cellular Networks: From Theory to Practice

13 years 9 months ago

Download www.aaai.org

This paper describes a novel negotiation protocol for cellular networks, which intelligently improves the performance of the network. Our proposed reactive mechanism enables the d...

Raz Lin, Daphna Dor-Shifer, Sarit Kraus, David Sar...

claim paper

Read More »

click to vote

CADE
2009
Springer

400views Logical Reasoning» more CADE 2009»

Instantiation-Based Automated Reasoning: From Theory to Practice

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers