Sciweavers

1393 search results - page 125 / 279
» Home, work, (play)
Sort
View
ENGL
2007
195views more  ENGL 2007»
15 years 6 months ago
Human Factors and Ergonomics in Dye Penetrant and Magnetic Particles Nondestructive Inspection Methods
Dye Penetrant Inspection (DPI) and Magnetic Particles Inspection (MPI) are two of the most commonly used Non-Destructive Testing (NDT) techniques in industry. Both techniques do re...
B. L. Luk, Alan H. S. Chan
ENTCS
2007
112views more  ENTCS 2007»
15 years 6 months ago
A Calculus of Global Interaction based on Session Types
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
Marco Carbone, Kohei Honda, Nobuko Yoshida
TCS
2008
15 years 6 months ago
Making the use of maximal ideals constructive
The purpose of this paper is to decipher constructively a lemma of Suslin which played a central role in his second solution of Serre's problem on projective modules over pol...
Ihsen Yengui
AROBOTS
2002
79views more  AROBOTS 2002»
15 years 6 months ago
Roball, the Rolling Robot
Designing a mobile robotic toy is challenging work. The robot must be appealing to children and create interesting interactions while facing the wide variety of situations that can...
François Michaud, Serge Caron
COLING
2004
15 years 6 months ago
Centering: A Parametric Theory and Its Instantiations
cross-linguistically valid claims about which discourses are easier to process, abstracting away from specific algorithms for anaphora resolution or anaphora generation (although m...
Massimo Poesio, Rosemary Stevenson, Barbara Di Eug...