Search Sciweavers | Sciweavers

8232 search results - page 301 / 1647

» Dynamic Logic Programming

207

click to vote

PLILP
1994
Springer

142views Programming Languages» more PLILP 1994»

Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing

15 years 10 months ago

Download domino.research.ibm.com

Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...

John Field, Frank Tip

claim paper

Read More »

106

click to vote

UM
2005
Springer

83views Programming Languages» more UM 2005»

A Comparison of HMMs and Dynamic Bayesian Networks for Recognizing Office Activities

16 years 4 days ago

Download research.microsoft.com

Nuria Oliver, Eric Horvitz

claim paper

Read More »

106

click to vote

IFIP
2004
Springer

83views Programming Languages» more IFIP 2004»

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

16 years 1 days ago

Download www.cs.ncl.ac.uk

Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan

claim paper

Read More »

152

click to vote

ICALP
2003
Springer

102views Programming Languages» more ICALP 2003»

Succinct Dynamic Dictionaries and Trees

15 years 12 months ago

Download www.cs.cmu.edu

Rajeev Raman, S. Srinivasa Rao

claim paper

Read More »

179

click to vote

ICALP
2005
Springer

139views Programming Languages» more ICALP 2005»

Logics for Unranked Trees: An Overview

16 years 5 days ago

Download homepages.inf.ed.ac.uk

Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...

Leonid Libkin

claim paper

Read More »

« Prev « First page 301 / 1647 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers