2907 search results - page 374 / 582 » Presentations of Structures in Admissible Sets |
281
click to vote
AMINING
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. MUSASHI is a set of commands which enables us to efficiently execute various types of data manipulations in a flexible manner, mainly aiming at data processing of huge a...
219
click to vote
ICCSA
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents a complete modeling system that extracts complex building structures with irregular shapes and surfaces. Our modeling approach is based on the use of airborne L...
154
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
202
Voted
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
-- Reuse of large-grain software components offers the potential for significant savings in application development cost and time. Successful component reuse and substitutability ...
204
click to vote
RTA
1995
Springer
15 years 10 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...