Sciweavers

5096 search results - page 383 / 1020
» Associations as a Language Construct
Sort
View
ICSE
1989
IEEE-ACM
15 years 11 months ago
The Inscape Environment
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
Dewayne E. Perry
LREC
2008
82views Education» more  LREC 2008»
15 years 8 months ago
Towards the National Corpus of Polish
This paper presents a new corpus project, aiming at building a national corpus of Polish. What makes it different from a typical YACP (Yet Another Corpus Project) is 1) the fact t...
Adam Przepiórkowski, Rafal L. Górski...
CADE
2010
Springer
15 years 8 months ago
Optimized Description Logic Reasoning via Core Blocking
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...
Birte Glimm, Ian Horrocks, Boris Motik
LATINCRYPT
2010
15 years 5 months ago
On the Round Complexity of Zero-Knowledge Proofs Based on One-Way Permutations
We consider the following problem: can we construct constant-round zero-knowledge proofs (with negligible soundness) for NP assuming only the existence of one-way permutations? We...
S. Dov Gordon, Hoeteck Wee, David Xiao, Arkady Yer...
MICRO
2002
IEEE
100views Hardware» more  MICRO 2002»
15 years 11 months ago
Microarchitectural exploration with Liberty
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
Manish Vachharajani, Neil Vachharajani, David A. P...