1420 search results - page 177 / 284 » Representation of Graphs by OBDDs |
149
click to vote
BIRTHDAY
1991
Springer
15 years 10 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
213
click to vote
TMM
2010
15 years 1 months ago
2010
Previous video summarization studies focused on monocular videos, and the results would not be good if they were applied to multi-view videos directly, due to problems such as the ...
171
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
The MPEG-4 Face and Body Animation (FBA) specifications aims at standardizing an interchange format for specifying virtual face and body modeling and related animation parameters....
145
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper reports on Korean Word Associations (KorWA) which were collected to construct a semantic network for Korean language. An approach of graph representation and network an...
157
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
This work addresses the issue of design optimization for faulttolerant hard real-time systems. In particular, our focus is on the handling of transient faults using both checkpoin...