Search Sciweavers | Sciweavers

586 search results - page 2 / 118

» chi 2007

110

click to vote

ENTCS
2007

117views more ENTCS 2007»

Relating Hybrid Chi to Other Formalisms

15 years 3 months ago

Download www.mate.tue.nl

The hybrid χ (Chi) formalism is suited to modeling, simulation and veriﬁcation of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...

D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...

claim paper

Read More »

click to vote

COMBINATORICA
2007

99views more COMBINATORICA 2007»

An Approximate Max-Steiner-Tree-Packing Min-Steiner-Cut Theorem*

15 years 3 months ago

Download www.cse.cuhk.edu.hk

Lap Chi Lau

claim paper

Read More »

click to vote

CHI
2007
ACM

148views Human Computer Interaction» more CHI 2007»

Sensemaking handoff: theory and recommendations

16 years 3 months ago

Download www.takebay.net

Nikhil Sharma

claim paper

Read More »

click to vote

CHI
2007
ACM

172views Human Computer Interaction» more CHI 2007»

Connectedness: support to communities in diaspora via ict

16 years 3 months ago

Download www.takebay.net

Luís A. Castro

claim paper

Read More »

187

click to vote

CHI
2007
ACM

307views Human Computer Interaction» more CHI 2007»

Bridging the social-technical gap in location-aware computing

16 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers