4323 search results - page 358 / 865 » Callback Implementations in C |
216
click to vote
CEEMAS
2001
Springer
16 years 16 hour 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...
234
click to vote
CIKM
2001
Springer
16 years 15 hour 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...
163
Voted
FASE
2001
Springer
16 years 5 hour 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...
225
Voted
NLDB
2001
Springer
15 years 12 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...
184
click to vote
TACAS
2001
Springer
15 years 12 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...