10997 search results - page 1832 / 2200 » On the Structure of Complete Sets |
185
click to vote
ACCV
2006
Springer
16 years 25 days ago
2006
Springer
This paper presents a method of image-based 3D modeling for intricately-shaped objects, such as a fur, tree leaves and human hair. We formulate the imaging process of these small g...
224
click to vote
ACL2
2006
ACM
16 years 25 days ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
174
click to vote
ACMICEC
2006
ACM
16 years 25 days ago
2006
ACM
Researchers have not studied e-commerce distrust as much as ecommerce trust. This study examines whether trust and distrust are distinct concepts. If trust and distrust are the sa...
178
click to vote
ACMSE
2006
ACM
16 years 25 days ago
2006
ACM
We propose an efficient and novel approach for discovering communities in real-world random networks. Communities are formed by subsets of nodes in a graph, which are closely rela...
156
click to vote
ERLANG
2006
ACM
16 years 24 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...