902 search results - page 41 / 181 » Opening Address |
SRDS
2000
IEEE
14 years 1 months ago
2000
IEEE
: As Century 21 just opened up, it is a fitting time to reflect on the evolution of the fault-tolerant distributed computing technology that occurred in the last century. The autho...
AIML
2008
13 years 10 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
COLING
1994
13 years 10 months ago
1994
: We demonstrate an approach and an accompanying UNIX toolbox for performing wtrious kinds of Knowledge tT,xlractions and Structuring. The goal is to "practically" enhanc...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
Recent advances in pattern recognition has allowed computer scientists and psychologists to jointly address automatic analysis of of human behavior via computers. The Workshop on H...
RITA
2006
13 years 8 months ago
2006
: Requirements traceability is central to the issue of requirements management, which is essential for producing quality software. Our focus on requirements traceability addresses ...