251 search results - page 9 / 51 » Pure Type Systems without Explicit Contexts |
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
RIAO
2000
13 years 9 months ago
2000
In this paper, we present an approach for speaker change detection in broadcast video using joint audio-visual scene change statistics. Our experiments indicate that using joint a...
UIST
1999
ACM
14 years 12 hour ago
1999
ACM
Diagram manipulation in conventional CAD systems requires frequent mode switching and explicit placement of the pivot for rotation and scaling. In order to simplify this process, ...
FLAIRS
2006
13 years 9 months ago
2006
Decision support systems that capture, preserve, and reuse implicit knowledge can greatly benefit from explicitly using context. The development of this type of system can benefit...
HUC
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. As low-level architectural support for context-aware computing matures, we are ready to explore more general and powerful means of accessing context data. Information req...