4460 search results - page 407 / 892 » Resources in process algebra |
186
click to vote
IICAI
2007
15 years 8 months ago
2007
In this paper we present a method to represent knowledge associated with a course. Course knowledge can be represented in the form of hierarchical prerequisite relation based weigh...
164
click to vote
LREC
2008
15 years 8 months ago
2008
Deep processing of natural language requires large scale lexical resources that have sufficient coverage at a sufficient level of detail and accuracy (i.e. both recall and precisi...
167
click to vote
IJCAI
2007
15 years 8 months ago
2007
Within the larger area of automatic acquisition of knowledge from the Web, we introduce a method for extracting relevant attributes, or quantifiable properties, for various class...
209
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. We propose a new adaptive algorithm for the exact simultaneous resolution of several triangular systems over finite fields: it is composed of several practicable variants...
208
click to vote
DOA
2000
15 years 8 months ago
2000
Smartcards can be seen as service providing entities that implement a secure, tamper-proof storage and offer computational resources which make them ideally suited for a variety o...