Sciweavers

1840 search results - page 15 / 368

» time 2002

90

Voted

TOCL
2002

54views more TOCL 2002»

Datalog LITE: a deductive query language with linear time model checking

15 years 2 months ago

Datalog LITE: a deductive query language with linear time model checking

Download reference.kfupm.edu.sa

Georg Gottlob, Erich Grädel, Helmut Veith

claim paper

Read More »

82

Voted

TRANSCI
2002

52views more TRANSCI 2002»

An Adaptive Dynamic Programming Algorithm for Dynamic Fleet Management, II: Multiperiod Travel Times

15 years 2 months ago

An Adaptive Dynamic Programming Algorithm for Dynamic Fleet Management, II: Multiperiod Travel Times

Download www.castlelab.princeton.edu

Gregory A. Godfrey, Warren B. Powell

claim paper

Read More »

95

Voted

TRANSCI
2002

57views more TRANSCI 2002»

A Branch-and-Cut Procedure for the Vehicle Routing Problem with Time Windows

15 years 2 months ago

A Branch-and-Cut Procedure for the Vehicle Routing Problem with Time Windows

Download www.me.utexas.edu

Jonathan F. Bard, George Kontoravdis, Gang Yu

claim paper

Read More »

72

Voted

ECCV
2002
Springer

121views Computer Vision» more ECCV 2002»

Towards Real-Time Cue Integration by Using Partial Results

16 years 4 months ago

Towards Real-Time Cue Integration by Using Partial Results

Download www.cs.rutgers.edu

Douglas DeCarlo

claim paper

Read More »

74

Voted

ECRTS
2002
IEEE

97views Embedded Systems» more ECRTS 2002»

Real-Time Communications over Hybrid Wired/Wireless PROFIBUS-based Networks

15 years 7 months ago

Real-Time Communications over Hybrid Wired/Wireless PROFIBUS-based Networks

Download www.hurray.isep.ipp.pt

Mário Alves, Eduardo Tovar, Francisco Vasqu...

claim paper

Read More »

« Prev « First page 15 / 368 Last » Next »