Search Sciweavers | Sciweavers

16616 search results - page 198 / 3324

» Extending Extended Vacuity

147

click to vote

ECP
1997
Springer

103views Robotics» more ECP 1997»

Extending Planning Graphs to an ADL Subset

15 years 10 months ago

Download www.foibg.com

Jana Koehler, Bernhard Nebel, Jörg Hoffmann, ...

claim paper

Read More »

129

click to vote

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

15 years 10 months ago

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

128

click to vote

EUROPAR
1997
Springer

76views Distributed And Parallel Com...» more EUROPAR 1997»

Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract)

15 years 10 months ago

Download www.cs.sunysb.edu

Ruth Breu, Radu Grosu

claim paper

Read More »

134

click to vote

PDIS
1996
IEEE

121views Distributed And Parallel Com...» more PDIS 1996»

Adaptable, Efficient, and Modular Coordination of Distributed Extended Transactions

15 years 10 months ago

Download www.cc.gatech.edu

Tong Zhou, Calton Pu, Ling Liu

claim paper

Read More »

142

click to vote

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers