4323 search results - page 358 / 865 » Callback Implementations in C |
160
click to vote
CEEMAS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
165
Voted
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we are mainly concerned with discussion of a formal model, based on the basic concept of divergence from information theory, for automatic query expansion. The basic...
125
Voted
FASE
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...
162
click to vote
NLDB
2001
Springer
15 years 9 months ago
2001
Springer
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
120
Voted
TACAS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...