Sciweavers

22018 search results - page 72 / 4404

» or 2004

117

JIT
2004
Springer

90views Database» more JIT 2004»

UnSCom: A Standardized Framework for the Specification of Software Components

15 years 8 months ago

UnSCom: A Standardized Framework for the Specification of Software Components

Download www.sven.overhage.org

Sven Overhage

claim paper

Read More »

106

KES
2004
Springer

78views Information Technology» more KES 2004»

Qualitative Analysis for Detection of Stiction in Control Valves

15 years 8 months ago

Qualitative Analysis for Detection of Stiction in Control Valves

Download ws25.pse143.org

Yoshiyuki Yamashita

claim paper

Read More »

97

KI
2004
Springer

89views Artificial Intelligence» more KI 2004»

Default Reasoning over Domains and Concept Hierarchies

15 years 8 months ago

Default Reasoning over Domains and Concept Hierarchies

Download people.aifb.kit.edu

Pascal Hitzler

claim paper

Read More »

95

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

15 years 8 months ago

Logical Mobility and Locality Types

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

85

LPNMR
2004
Springer

93views Automated Reasoning» more LPNMR 2004»

Constraints and Probabilistic Networks: A Look At The Interface

15 years 8 months ago

Constraints and Probabilistic Networks: A Look At The Interface

Download www.ics.uci.edu

Rina Dechter

claim paper

Read More »

« Prev « First page 72 / 4404 Last » Next »