4340 search results - page 516 / 868 » Formal Methods and Cryptography |
156
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the issue of extraction of an academic researcher social network. By researcher social network extraction, we are aimed at finding, extracting, and fusing the...
174
Voted
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
237
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
152
click to vote
FMCAD
2004
Springer
16 years 2 days ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
184
click to vote
ISER
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...