1676 search results - page 320 / 336 » Formal System Development with KIV |
113
click to vote
IJFCS
2006
15 years 3 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
134
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...
144
Voted
KDD
2004
ACM
16 years 4 months ago
2004
ACM
This paper describes a prototype that predicts the shopping lists for customers in a retail store. The shopping list prediction is one aspect of a larger system we have developed ...
155
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
133
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...