3299 search results - page 155 / 660 » A general mathematics of names |
162
click to vote
CLEF
2005
Springer
16 years 21 hour ago
2005
Springer
This paper describes the development of a question answering system for monolingual and cross-lingual tasks for the languages English and German. We developed the question answeri...
165
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
160
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
172
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We propose the use of Deterministic Generalized Asynchronous Random Boolean Networks [1] as models of contextual deterministic discrete dynamical systems. We show that ch...
137
click to vote
OOPSLA
1995
Springer
15 years 10 months ago
1995
Springer
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...