3898 search results - page 102 / 780 » Maintaining Component-Based Systems |
228
Voted
PADL
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
107
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
– We have developed a prototype teleoperated robotic surgical system which is modular, compact and easy to use. In this paper, the control software design of the prototype is int...
109
click to vote
ISI
2005
Springer
15 years 9 months ago
2005
Springer
Data distortion is a critical component to preserve privacy in security-related data mining applications, such as in data miningbased terrorist analysis systems. We propose a spars...
126
Voted
CHI
1995
ACM
15 years 7 months ago
1995
ACM
Large information spaces are often difficult to access efficiently and intuitively. We are exploring Pad++, a graphical interface system based on zooming, as an alternative to tra...
92
Voted
ICEC
1994
15 years 4 months ago
1994
:Rule-basedsystemsused for OpticalCharacterRecognition (OCR)are notoriously difficultto write,maintain,and upgrade. Thispaperdescribesa method forusing Genetic Programming(GP) to e...