16616 search results - page 49 / 3324 » Extending Extended Vacuity |
EURODAC
1994
IEEE
14 years 3 months ago
1994
IEEE
A
exible test environment is presented that allows for dierent methods of parallelizing discrete event simulation to be evaluated in a uniform environment. The testbed is portabl...
CHI
1993
ACM
14 years 3 months ago
1993
ACM
Gestures are a powerful way to specify both objects and operations with a single mark of a stylus or mouse. We have extended an existing user interface toolkit to support gestures...
TPHOL
1992
IEEE
14 years 3 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
LREC
2010
14 years 14 days ago
2010
We present a flexible toolkit-based approach to automatic coreference resolution on German text. We start with our previous work aimed at reimplementing the system from Soon et al...
SEC
2001
14 years 12 days ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...