3384 search results - page 479 / 677 » More Testable Properties |
DAGSTUHL
2010
14 years 2 days ago
2010
Applications of complex variables and related manifolds appear throughout mathematics and science. Here we review a family of basic methods for applying visualization concepts to ...
BIS
2008
14 years 2 days ago
2008
: Contrary to a Wiki where the opinion of the individual user disappears in favor of a more impartial `collective intelligence', a weblog is author-centered, expressing the au...
FORTE
2010
14 years 2 days ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
LREC
2010
2010
Evaluating Semantic Relations and Distances in the Associative Concept Dictionary using NIRS-imaging
14 years 2 days ago
In this study, we extracted brain activities related to semantic relations and distances to improve the precision of distance calculation among concepts in the Associated Concept ...
LREC
2010
14 years 2 days ago
2010
Resource-poor languages may suffer from a lack of any of the basic resources that are fundamental to computational linguistics, including an adequate digital lexicon. Given the re...