Sciweavers

1573 search results - page 211 / 315
» Picture Programming Project
Sort
View
119
Voted
COODBSE
1994
85views more  COODBSE 1994»
15 years 4 months ago
Understanding Software Systems Using Reverse Engineering Technology
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
Hausi A. Müller, Kenny Wong, Scott R. Tilley
126
Voted
WCE
2007
15 years 3 months ago
Reconstruction of 3D Solid Models Using Fuzzy Logic Recognition
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
Zhe Wang, Mohammed Latif
110
Voted
AIS
2008
Springer
15 years 2 months ago
Asimov's "three laws of robotics" and machine metaethics
Using Asimov's "Bicentennial Man" as a springboard, a number of metaethical issues concerning the emerging field of Machine Ethics are discussed. Although the ultim...
Susan Leigh Anderson
124
Voted
ENTCS
2008
94views more  ENTCS 2008»
15 years 2 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
99
Voted
BIB
2006
150views more  BIB 2006»
15 years 2 months ago
Open source tools and toolkits for bioinformatics: significance, and where are we?
This review summarizes important work in open-source bioinformatics software that has occurred over the past couple of years. The survey is intended to illustrate how programs and...
Jason E. Stajich, Hilmar Lapp