Sciweavers

17049 search results - page 6 / 3410

» cans 2007

95

FORTE
2003

105views Formal Methods» more FORTE 2003»

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

15 years 1 months ago

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

Download mtc.epfl.ch

Dirk Beyer, Andreas Noack

claim paper

Read More »

47

IJCAI
1989

62views Artificial Intelligence» more IJCAI 1989»

Phrasing a Text in Terms the User Can Understand

15 years 1 months ago

Phrasing a Text in Terms the User Can Understand

Download dli.iiit.ac.in

John A. Bateman, Cécile Paris

claim paper

Read More »

44

CCR
2007

75views more CCR 2007»

Can you hear me now?!: it must be BGP

14 years 12 months ago

Can you hear me now?!: it must be BGP

Download people.csail.mit.edu

Nate Kushman, Srikanth Kandula, Dina Katabi

claim paper

Read More »

63

BEHAVIOURIT
2005

71views more BEHAVIOURIT 2005»

How can we best use landmarks to support older people in navigation?

14 years 11 months ago

How can we best use landmarks to support older people in navigation?

Download www.dcs.gla.ac.uk

Joy Goodman, Stephen A. Brewster, Philip D. Gray

claim paper

Read More »

44

JCC
2007

82views more JCC 2007»

Can an OH radical form a strong hydrogen bond? A theoretical comparison with H2O

14 years 11 months ago

Can an OH radical form a strong hydrogen bond? A theoretical comparison with H2O

Download chem.hamilton.edu

Chin-Hung Lai, Pi-Tai Chou

claim paper

Read More »

« Prev « First page 6 / 3410 Last » Next »