3395 search results - page 535 / 679 » Designs, Disputes and Strategies |
RSCTC
2000
Springer
14 years 23 days ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
FC
1997
Springer
14 years 23 days ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
TIC
2000
Springer
14 years 23 days ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
ICTAI
1997
IEEE
14 years 23 days ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
ICRA
1995
IEEE
14 years 22 days ago
1995
IEEE
This paper describes the control and ergonomic evaluation of a ceiling mounted (or support frame suspended) 7-axis surgical robot (HISAR)f o r laparoscopic camera navigation. A ke...