6306 search results - page 383 / 1262 » Space, Time, and the Use of Language |
204
click to vote
DMIN
2007
15 years 9 months ago
2007
- Several algorithms have been introduced for mining frequent itemsets. The recent datasettransformation approach suffers either from the possible increasing in the number of struc...
202
click to vote
MFCS
2004
Springer
16 years 1 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
203
click to vote
WADT
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
200
click to vote
CLIMA
2006
15 years 9 months ago
2006
This paper describes a team of agents that took part in the second CLIMA Contest. The team was implemented in a logic-based language for BDI agents and was run in a Java-based inte...
191
click to vote
ISCAPDCS
2003
15 years 9 months ago
2003
In this paper, we present a system partitioning technique in which the input system specification is based on C++ language. The proposed technique processes data and precedence de...