Sciweavers

18429 search results - page 399 / 3686

» Typing dynamic typing

147

CORR
2009
Springer

71views Education» more CORR 2009»

Uniqueness Typing for Resource Management in Message-Passing Concurrency

15 years 4 months ago

Uniqueness Typing for Resource Management in Message-Passing Concurrency

Download staff.um.edu.mt

Edsko de Vries, Adrian Francalanza, Matthew Hennes...

claim paper

Read More »

112

FLAIRS
2009

88views Artificial Intelligence» more FLAIRS 2009»

Determining Paragraph Type from Paragraph Position

15 years 4 months ago

Determining Paragraph Type from Paragraph Position

Download csep.psyc.memphis.edu

Kyle B. Dempsey, Philip M. McCarthy, John C. Myers...

claim paper

Read More »

159

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

15 years 4 months ago

A Type Graph Model for Java Programs

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

131

ICAART
2009
INSTICC

107views Intelligent Agents» more ICAART 2009»

Data Type Management in a Data Mining Application Framework

15 years 4 months ago

Data Type Management in a Data Mining Application Framework

Download www.ee.oulu.fi

Lauri Tuovinen, Perttu Laurinen, Juha Röning

claim paper

Read More »

176

ICRA
2009
IEEE

116views Robotics» more ICRA 2009»

Kinematic analysis and optimal design of a 3T1R type parallel mechanism

15 years 4 months ago

Kinematic analysis and optimal design of a 3T1R type parallel mechanism

Download robotics.hanyang.ac.kr

In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...

Sung Mok Kim, Whee Kuk Kim, Byung-Ju Yi

claim paper

Read More »

« Prev « First page 399 / 3686 Last » Next »