Sciweavers

17049 search results - page 6 / 3410

» cans 2007

20

FORTE
2003

105views Formal Methods» more FORTE 2003»

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

13 years 8 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 »

10

IJCAI
1989

62views Artificial Intelligence» more IJCAI 1989»

Phrasing a Text in Terms the User Can Understand

13 years 8 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 »

11

CCR
2007

75views more CCR 2007»

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

13 years 7 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 »

19

BEHAVIOURIT
2005

71views more BEHAVIOURIT 2005»

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

13 years 7 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 »

13

JCC
2007

82views more JCC 2007»

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

13 years 7 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 »