3690 search results - page 340 / 738 » Computation with classical sequents |
178
click to vote
IBPRIA
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper presents a novel approach for motion segmentation from feature trajectories with missing data. It consists of two stages. In the first stage, missing data are...
147
Voted
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
We introduce stochastic priority games — a new class of perfect information stochastic games. These games can take two different, but equivalent, forms. In stopping priority ga...
168
click to vote
ICCS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus de...
174
click to vote
ICIC
2007
Springer
16 years 29 days ago
2007
Springer
Rough set theory has been considered as a useful tool to deal with inexact, uncertain, or vague knowledge. However, in real-world, most of information systems are based on dominanc...
207
click to vote
IPMI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The detection and extraction of complex anatomical structures usually involves a trade-off between the complexity of local feature extraction and classification, and th...