Sciweavers

2656 search results - page 219 / 532
» A general purpose animator
Sort
View
HICSS
1997
IEEE
118views Biometrics» more  HICSS 1997»
15 years 11 months ago
Social Interaction on the Net: Virtual Community as Participatory
The phrase "virtual community" is often used to describe long term, computer-mediated conversations amongst large groups. This paper suggests that such conversations may...
Thomas Erickson
HPCA
1996
IEEE
15 years 11 months ago
Co-Scheduling Hardware and Software Pipelines
Exploiting instruction-level parallelism (ILP) is extremely important for achieving high performance in application specific instruction set processors (ASIPs) and embedded process...
Ramaswamy Govindarajan, Erik R. Altman, Guang R. G...
ICCBR
1997
Springer
15 years 11 months ago
A Large Case-Based Reasoner for Legal Cases
In this paper we propose a large case-based reasoner for the legal domain. Analyzing legal texts for indexing purposes makes the implementation of large case bases a complex task. ...
Rosina Weber-Lee, Ricardo Miranda Barcia, Marcio C...
TACAS
1997
Springer
87views Algorithms» more  TACAS 1997»
15 years 11 months ago
Integration in PVS: Tables, Types, and Model Checking
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
Sam Owre, John M. Rushby, Natarajan Shankar
PODS
1994
ACM
131views Database» more  PODS 1994»
15 years 10 months ago
Constraint Checking with Partial Information
Abstract Appears in Proceedings of the Thirteenth Symposium on Principles of Database Systems, 1994 Ashish Gupta Yehoshua Sagivy Je rey D. Ullman Jennifer Widom Dept. of Computer S...
Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, J...