4616 search results - page 790 / 924 » Extreme Components Analysis |
123
Voted
ICTAI
1999
IEEE
15 years 7 months ago
1999
IEEE
Recently, there has been much interest in enhancing purely combinatorial formalisms with numerical information. For example, planning formalisms can be enriched by taking resource...
132
Voted
INFOVIS
1999
IEEE
15 years 7 months ago
1999
IEEE
Interactive selection is a critical component in exploratory visualization, allowing users to isolate subsets of the displayed information for highlighting, deleting, analysis, or...
158
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
124
Voted
VR
1999
IEEE
15 years 7 months ago
1999
IEEE
The biggest single obstacle to building effective augmented reality (AR) systems is the lack of accurate wide-area sensors for trackers that report the locations and orientations ...
135
Voted
HPCN
1999
Springer
15 years 7 months ago
1999
Springer
The growing need of software infrastructure able to create, maintain and ease the evolution of scientific data, promotes the development of digital libraries in order to provide th...