3353 search results - page 370 / 671 » Laver and set theory |
156
click to vote
METRICS
2003
IEEE
16 years 1 days ago
2003
IEEE
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...
193
click to vote
COMPGEOM
2003
ACM
16 years 1 days ago
2003
ACM
We consider two variants of the well-known “sailor in the fog” puzzle. The first version (the “asteroid surveying” problem) is set in three dimensions and asks for the sh...
152
click to vote
DAC
2003
ACM
16 years 1 days ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
167
click to vote
HT
2003
ACM
16 years 1 days ago
2003
ACM
Most adaptive hypermedia systems used in education implement a single user model – inevitably originally designed for a specific set of circumstances. In this paper we describe ...
148
click to vote
MM
2003
ACM
16 years 1 days ago
2003
ACM
In this paper, we propose a novel solution for segmenting an instructional video into hierarchical topical sections. Incorporating the knowledge of education-oriented film theory...