860 search results - page 118 / 172 » Japanese Case Structure Analysis |
144
click to vote
PET
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. As decentralized computing scenarios get ever more popular, unstructured topologies are natural candidates to consider running mix networks upon. We consider mix network ...
134
click to vote
ICDT
2003
ACM
15 years 9 months ago
2003
ACM
We consider the problem of evaluating a large number of XPath expressions on an XML stream. Our main contribution consists in showing that Deterministic Finite Automata (DFA) can b...
123
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
128
Voted
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
119
click to vote
LREC
2010
15 years 5 months ago
2010
The vast amount of information freely available on the Web constitutes a unparalleled resource for the automatic knoweledge discovery and learning. In this paper we propose a study...