Sciweavers

19985 search results - page 3689 / 3997
» Modelling Ecological Data
Sort
View
157
Voted
CGF
2000
155views more  CGF 2000»
15 years 4 months ago
Surface Reconstruction Based on Lower Dimensional Localized Delaunay Triangulation
We present a fast, memory efficient algorithm that generates a manifold triangular mesh S passing through a set of unorganized points P R3 . Nothing is assumed about the geometry,...
M. Gopi, Shankar Krishnan, Cláudio T. Silva
116
Voted
ENTCS
2000
60views more  ENTCS 2000»
15 years 4 months ago
Incompleteness of Behavioral Logics
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
Samuel R. Buss, Grigore Rosu
140
Voted
CORR
2002
Springer
101views Education» more  CORR 2002»
15 years 4 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
ETS
2000
IEEE
182views Hardware» more  ETS 2000»
15 years 4 months ago
Conferencing in communities of learners: examples from social history and science communication
A commonly encountered view of computer conferencing focuses on peer interaction, student empowerment and a shift in both teacher and student roles. This paper argues that this vi...
Ann C. Jones, Eileen Scanlon, Canan Tosunoglu Blak...
FUIN
2000
76views more  FUIN 2000»
15 years 4 months ago
A Foundation for Refining Concurrent Objects
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
Martin Büchi, Emil Sekerinski
« Prev « First page 3689 / 3997 Last » Next »