Sciweavers

410 search results - page 38 / 82
» A micro-ethical view on computing practice
Sort
View
129
Voted
IJCAI
2007
15 years 4 months ago
Scalable Diagnosability Checking of Event-Driven Systems
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...
Anika Schumann, Yannick Pencolé
152
Voted
ICALT
2010
IEEE
15 years 4 months ago
What You Check is What You Get: Authoring with jEditOQMath
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
Paul Libbrecht
JCC
2008
85views more  JCC 2008»
15 years 3 months ago
Minimal molecular surfaces and their applications
Abstract: This article presents a novel concept, the minimal molecular surface (MMS), for the theoretical modeling of biomolecules. The MMS can be viewed as a result of the surface...
P. W. Bates, G. W. Wei, Shan Zhao
MST
2006
96views more  MST 2006»
15 years 3 months ago
Juggling with Pattern Matching
In the late eighties, it was shown that juggling patterns can be described by strings of numbers with fascinating combinatorial properties that have since then been studied by man...
Jean Cardinal, Steve Kremer, Stefan Langerman
127
Voted
CGF
2002
155views more  CGF 2002»
15 years 3 months ago
Improved Scene Reconstruction from Range Images
The modeling of real scenes is a complex and challenging task for which the use of laser rangefinders is one of the most promising approaches. Unfortunately, in many situations, i...
Jianning Wang, Manuel M. Oliveira