2834 search results - page 447 / 567 » Representing Trees with Constraints |
120
Voted
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
120
Voted
WWW
2009
ACM
15 years 5 months ago
2009
ACM
Fully automatic methods that extract lists of objects from the Web have been studied extensively. Record extraction, the first step of this object extraction process, identifies...
SIGCOMM
1994
ACM
15 years 4 months ago
1994
ACM
Existing multicast routing mechanisms were intended for use within regions where a group is widely represented or bandwidth is universally plentiful. When group members, and sende...
125
click to vote
FGR
2006
IEEE
15 years 4 months ago
2006
IEEE
A global approach to hand gesture vocabulary design is proposed which includes human as well as technical design factors. The human centered desires of multiple users are implicit...
135
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...