2805 search results - page 100 / 561 » Collecting More Garbage |
144
click to vote
ACL
2012
13 years 7 months ago
2012
We seek to automatically estimate typical durations for events and habits described in Twitter tweets. A corpus of more than 14 million tweets containing temporal duration informa...
145
Voted
ISMVL
2009
IEEE
15 years 11 months ago
2009
IEEE
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
168
Voted
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
172
Voted
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
A good foreign-language interface is crucial for the success of any modern programming language implementation. Although all serious compilers for functional languages have some f...
158
Voted
AIIDE
2007
15 years 7 months ago
2007
The creation of life-like believable characters is emerging as the central focus of next-generation game development and is viewed as critical to obtaining true mass-market appeal...