Sciweavers

606 search results - page 55 / 122
» words 2002
Sort
View
LEC
2002
IEEE
178views Languages» more  LEC 2002»
14 years 2 months ago
Building Large Scale Ontology Networks
Adoptable, high performing, large scale ontologies that can be extended to support multi-media play a crucial role in building effective content and knowledge management systems a...
Vasudeva Varma
VTS
2002
IEEE
113views Hardware» more  VTS 2002»
14 years 2 months ago
Testing Static and Dynamic Faults in Random Access Memories
The ever increasing trend to reduce DPM levels of memories requires tests with very high fault coverages. The very important class of dynamic fault, therefore cannot be ignored an...
Said Hamdioui, Zaid Al-Ars, A. J. van de Goor
FMCAD
2008
Springer
13 years 11 months ago
Augmenting a Regular Expression-Based Temporal Logic with Local Variables
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
Cindy Eisner, Dana Fisman
ACL
2004
13 years 11 months ago
Unsupervised Sense Disambiguation Using Bilingual Probabilistic Models
We describe two probabilistic models for unsupervised word-sense disambiguation using parallel corpora. The first model, which we call the Sense model, builds on the work of Diab ...
Indrajit Bhattacharya, Lise Getoor, Yoshua Bengio
JCT
2006
75views more  JCT 2006»
13 years 10 months ago
Sperner labellings: A combinatorial approach
In 2002, De Loera, Peterson and Su proved the following conjecture of Atanassov: let T be a triangulation of a d-dimensional polytope P with n vertices v1, v2, . . . , vn; label t...
Frédéric Meunier