Sciweavers

6608 search results - page 57 / 1322

» On the Completeness of Model Checking

97

AML
2006

47views more AML 2006»

Model completeness for trivial, uncountably categorical theories of Morley rank 1

15 years 4 months ago

Model completeness for trivial, uncountably categorical theories of Morley rank 1

Download www.cs.auckland.ac.nz

Alfred Dolich, Michael C. Laskowski, Alexander Rai...

claim paper

Read More »

92

IJCV
2008

106views more IJCV 2008»

Learning Probabilistic Models for Contour Completion in Natural Images

15 years 4 months ago

Learning Probabilistic Models for Contour Completion in Natural Images

Download www.eecs.berkeley.edu

Xiaofeng Ren, Charless Fowlkes, Jitendra Malik

claim paper

Read More »

77

DATASCIENCE
2007

47views more DATASCIENCE 2007»

Renewal and Completion Problems in Geographical Databases in Turkey and a Proposal Model

15 years 4 months ago

Renewal and Completion Problems in Geographical Databases in Turkey and a Proposal Model

Download www.codata.org

Ali Erdi, Savas Durduran, Çaglar Yildirmis

claim paper

Read More »

102

LOGCOM
2008

79views more LOGCOM 2008»

General Models and Completeness of First-Order Modal µ-calculus

15 years 4 months ago

General Models and Completeness of First-Order Modal µ-calculus

Download dspace.wul.waseda.ac.jp

Ryo Kashima, Keishi Okamoto

claim paper

Read More »

107

MCSS
2007
Springer

99views Control Systems» more MCSS 2007»

A complete model of a finite-dimensional impedance-passive system

15 years 3 months ago

A complete model of a finite-dimensional impedance-passive system

Download users.abo.fi

We extend the classes of standard discrete- and continuous-time input/state/ output matrix systems by adding reverse internal and/or external channels. The reverse internal channe...

Mikael Kurula, Olof J. Staffans

claim paper

Read More »

« Prev « First page 57 / 1322 Last » Next »