Sciweavers

586 search results - page 60 / 118
» Witnessing side effects
Sort
View
131
Voted
COLING
2002
15 years 4 months ago
A Novel Disambiguation Method for Unification-Based Grammars Using Probabilistic Context-Free Approximations
We present a novel disambiguation method for unification-based grammars (UBGs). In contrast to other methods, our approach obviates the need for probability models on the UBG side...
Bernd Kiefer, Hans-Ulrich Krieger, Detlef Prescher
DKE
1998
87views more  DKE 1998»
15 years 4 months ago
Using Natural Language Sources in Model-Based Knowledge Acquisition
This paper introduces a well defined co-operation between domain expert, knowledge engineer, and knowledge acquisition and transformation tools. First, the domain expert supported...
Gabriele Schmidt, Thomas Wetter
SOFTWARE
2002
15 years 4 months ago
Software Engineering is Not Enough
Much of the software engineering literature begins with an admonition that what practitioners are doing isn't enough--that the state-of-the-practice is creating bad software. ...
James A. Whittaker, Steven Atkin
163
Voted
SP
2002
IEEE
160views Security Privacy» more  SP 2002»
15 years 4 months ago
On the Composition of Secure Systems
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
Heiko Mantel
LPAR
2010
Springer
15 years 2 months ago
Infinite Families of Finite String Rewriting Systems and Their Confluence
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
Jean-Pierre Jouannaud, Benjamin Monate