2191 search results - page 73 / 439 » Aspect - A Problem For MT |
110
click to vote
LACL
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity...
150
click to vote
ESORICS
1998
Springer
15 years 8 months ago
1998
Springer
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
230
click to vote
COCOA
2011
Springer
14 years 3 months ago
2011
Springer
The work in this paper is to initiate a theory of testing monomials in multivariate polynomials. The central question is to ask whether a polynomial represented by certain economi...
111
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
130
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
On our ongoing research on variability analysis, two major drawbacks have been identified: a) the lack of an effective tracing from the rationale to the selected variant, and b) t...