Search Sciweavers | Sciweavers

1033 search results - page 24 / 207

» hybrid 2007

click to vote

POLICY
2007
Springer

93views Computer Networks» more POLICY 2007»

Policy Analysis Using a Hybrid Semantic Reasoning Engine

14 years 1 months ago

Download lia.deis.unibo.it

Kris Verlaenen, Bart De Win, Wouter Joosen

claim paper

Read More »

click to vote

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

14 years 1 months ago

Download symbolaris.com

André Platzer

claim paper

Read More »

click to vote

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

14 years 1 months ago

Download www.inf.ethz.ch

Felix Klaedtke, Stefan Ratschan, Zhikun She

claim paper

Read More »

click to vote

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

14 years 1 months ago

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

click to vote

APGV
2007
ACM

113views Visualization» more APGV 2007»

Hybrid image-/model-based gaze-contingent rendering

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers