Sciweavers

6014 search results - page 1079 / 1203
» Parametric Analysis of Computer Systems
Sort
View
128
Voted
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 9 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
129
Voted
ICCS
2005
Springer
15 years 9 months ago
Adaptive Surface Modeling Using a Quadtree of Quadratic Finite Elements
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...
G. P. Nikishkov
116
Voted
ICIC
2005
Springer
15 years 9 months ago
Performance Comparison of SCTP and TCP over Linux Platform
Stream Control Transmission Protocol (SCTP) is the third transport layer protocol next to TCP and UDP. The SCTP provides some distinctive features over the TCP. This paper is purpo...
Jong-Shik Ha, Sang-Tae Kim, Seok Joo Koh
131
Voted
ICMI
2005
Springer
119views Biometrics» more  ICMI 2005»
15 years 9 months ago
Region extraction of a gaze object using the gaze point and view image sequences
Analysis of the human gaze is a basic way to investigate human attention. Similarly, the view image of a human being includes the visual information of what he/she pays attention ...
Norimichi Ukita, Tomohisa Ono, Masatsugu Kidode
MICAI
2005
Springer
15 years 9 months ago
Knowledge and Reasoning Supported by Cognitive Maps
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
Alejandro Peña Ayala, Humberto Sossa, Agust...
« Prev « First page 1079 / 1203 Last » Next »