11436 search results - page 1900 / 2288 » Modeling Real Reasoning |
108
click to vote
FGCS
2006
15 years 5 months ago
2006
Seeing the Earth crust as criss-crossed by faults filled with fluid at close to lithostatic pressures, we develop a model in which its elastic modulii are different in net tension...
126
click to vote
ISCI
2008
15 years 5 months ago
2008
This paper considers the theory of database queries on the complex value data model with external functions. Motivated by concerns regarding query evaluation, we first identify re...
147
Voted
IJFCS
2006
15 years 5 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
128
click to vote
IJNSEC
2006
15 years 5 months ago
2006
It has always been a critical issue to find efficient methods for fast revocation of a user's identity in identity (ID)based cryptosystems. Unfortunately, none of the previou...
127
Voted
COR
2007
15 years 5 months ago
2007
This paper considers the design of two-layered fully interconnected networks.A two-layered network consists of clusters of nodes, each defining an access network and a backbone n...