Sciweavers

7890 search results - page 152 / 1578
» The MathSAT 3 System
Sort
View
BMCBI
2007
89views more  BMCBI 2007»
15 years 5 months ago
Highlights from the Third International Society for Computational Biology Student Council Symposium at the Fifteenth Annual Inte
In this meeting report we give an overview of the 3rd International Society for Computational Biology Student Council Symposium. Furthermore, we explain the role of the Student Co...
Nils Gehlenborg, Manuel Corpas, Sarath Chandra Jan...
148
Voted
CTRS
1992
15 years 9 months ago
Decidability of Regularity and Related Properties of Ground Normal Form Languages
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1
Gregory Kucherov, Mohamed Tajine
HASE
2008
IEEE
15 years 11 months ago
Privacy, Preservation and Performance: The 3 P's of Distributed Data Management
Privacy, preservation and performance (“3 P’s”) are central design objectives for distributed data management systems. However, these objectives tend to compete with one ano...
Bobji Mungamuru, Hector Garcia-Molina
134
Voted
ISCI
2007
82views more  ISCI 2007»
15 years 4 months ago
On reliability of the folded hypercubes
In this paper, we explore the 2-extra connectivity and 2-extra-edge-connectivity of the folded hypercube FQn. We show that j2(FQn) = 3n À 2 for n P 8; and k2(FQn) = 3n À 1 for n...
Qiang Zhu 0003, Jun-Ming Xu, Xinmin Hou, Min Xu
VRST
2005
ACM
15 years 10 months ago
Rapid part-based 3D modeling
An intuitive and easy-to-use 3D modeling system has become more crucial with the rapid growth of computer graphics in our daily lives. Image-based modeling (IBM) has been a popula...
Ismail Oner Sebe, Suya You, Ulrich Neumann