Sciweavers

2694 search results - page 32 / 539
» Frege's New Science
Sort
View
CAMP
2005
IEEE
14 years 1 months ago
Virtual Astronomy, Information Technology, and the New Scientific Methodology
—All sciences, including astronomy, are now entering the era of information abundance. The exponentially increasing volume and complexity of modern data sets promises to transfor...
S. George Djorgovski
HICSS
2003
IEEE
136views Biometrics» more  HICSS 2003»
14 years 29 days ago
Adopting New IT by Learning in Groups: Results of Discourse Analysis
A new HR system was introduced into a Dutch hospital. The system implied collaborative work among its users. The project planning seemed to be reasonably
Tatyana V. Bondarouk, Huub J. M. Ruël
IWCC
1999
IEEE
13 years 12 months ago
Design and Analysis of the Alliance/University of New Mexico Roadrunner Linux SMP SuperCluster
This paper will discuss high performance clustering from a series of critical topics: architectural design, system software infrastructure, and programming environment. This will ...
David A. Bader, Arthur B. Maccabe, Jason R. Mastal...
FOCS
1992
IEEE
13 years 11 months ago
Probabilistic Checking of Proofs; A New Characterization of NP
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
Sanjeev Arora, Shmuel Safra
CAD
2005
Springer
13 years 7 months ago
A new CAD mesh segmentation method, based on curvature tensor analysis
This paper presents a new and efficient algorithm for the decomposition of 3D arbitrary triangle meshes and particularly optimized triangulated CAD meshes. The algorithm is based ...
Guillaume Lavoué, Florent Dupont, Atilla Ba...