Sciweavers

10585 search results - page 348 / 2117

» The Orc Programming Language

109

UM
2005
Springer

83views Programming Languages» more UM 2005»

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

16 years 6 days ago

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

Download research.microsoft.com

Nuria Oliver, Eric Horvitz

claim paper

Read More »

112

APLAS
2004
ACM

73views Programming Languages» more APLAS 2004»

A Type Theory for Krivine-Style Evaluation and Compilation

16 years 5 days ago

A Type Theory for Krivine-Style Evaluation and Compilation

Download www.jaist.ac.jp

Kwanghoon Choi, Atsushi Ohori

claim paper

Read More »

120

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

16 years 5 days ago

An Implementation of Subtyping Among Regular Expression Types

Download www.itu.dk

Kenny Zhuo Ming Lu, Martin Sulzmann

claim paper

Read More »

116

APLAS
2004
ACM

114views Programming Languages» more APLAS 2004»

Controlled Declassification Based on Intransitive Noninterference

16 years 5 days ago

Controlled Declassification Based on Intransitive Noninterference

Download www.mais.informatik.tu-darmstadt.de

Heiko Mantel, David Sands

claim paper

Read More »

117

Voted

CP
2004
Springer

86views Artificial Intelligence» more CP 2004»

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

16 years 4 days ago

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

Download acadepedia.com

Andrew Lim, Brian Rodrigues, Zhou Xu

claim paper

Read More »

« Prev « First page 348 / 2117 Last » Next »