5639 search results - page 630 / 1128 » Timed Abstract Non-interference |
245
click to vote
IV
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Bipartite graphs are often used to illustrate relationships between two sets of data, such as web pages and visitors. At the same time, information is often organized hi...
190
Voted
IVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Generating coordinated multimodal behavior for an embodied agent (speech, gesture, facial expression. . . ) is challenging. It requires a high degree of animation control...
192
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
198
click to vote
JGO
2010
15 years 5 months ago
2010
Abstract The ability of the modern graphics processors to operate on large matrices in parallel can be exploited for solving constrained image deblurring problems in a short time. ...
193
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...