2713 search results - page 256 / 543 » Parameterized Tree Systems |
169
click to vote
IJCNN
2006
IEEE
16 years 18 days ago
2006
IEEE
—Recognizing human emotions from partial facial features is quite hard to achieve reasonable accuracy. In this paper, we propose to use a tree structure representation to simulat...
167
click to vote
VLDB
2005
ACM
16 years 1 days ago
2005
ACM
With the increasing occurrence of temporal and spatial data in present-day database applications, the interval data type is adopted by more and more database systems. For an effic...
170
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
176
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
159
click to vote
ACL
2008
15 years 8 months ago
2008
Among syntax-based translation models, the tree-based approach, which takes as input a parse tree of the source sentence, is a promising direction being faster and simpler than it...