11462 search results - page 527 / 2293 » Developing Application-Centric Methods |
190
click to vote
TYPES
1999
Springer
15 years 11 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
203
click to vote
FTP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
143
Voted
SEAL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper, we discuss an approach to an operator scheduling problem in a large organization over time with the aim of maintaining service quality and reducing total l...
165
click to vote
SSDBM
1994
IEEE
15 years 11 months ago
1994
IEEE
To extend the scope of multivariate data visualization, the notion of comparative visualization is introduced: it allows the comparison of visualization methods by interconnecting...
170
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
A novel method is developed to obtain a refined estimate of relative position and orientation (pose) from two views captured by a calibrated monocular camera. Due to the typically ...