Sciweavers

3244 search results - page 543 / 649
» Extensions to Description Logics
Sort
View
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 10 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
UIST
1999
ACM
15 years 10 months ago
Constraint Cascading Style Sheets for the Web
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...
Greg J. Badros, Alan Borning, Kim Marriott, Peter ...
VLSID
1999
IEEE
139views VLSI» more  VLSID 1999»
15 years 10 months ago
Processor Modeling for Hardware Software Codesign
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
V. Rajesh, Rajat Moona
ICCV
1998
IEEE
15 years 10 months ago
Integrated Surface, Curve and Junction Inference from Sparse 3-D Data Sets
We areinterestedin descriptionsof 3-D data sets,as obtained from stereoor a 3-D digitizer. We thereforeconsideras inputa sparsesetof points, possibly associated with certain orien...
Chi-Keung Tang, Gérard G. Medioni
ASPDAC
1998
ACM
119views Hardware» more  ASPDAC 1998»
15 years 10 months ago
Integer Programming Models for Optimization Problems in Test Generation
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
João P. Marques Silva