3688 search results - page 454 / 738 » Static analysis of aspects |
175
click to vote
LREC
2010
15 years 8 months ago
2010
This paper discusses our ongoing work on constructing an annotated corpus of children's stories for further studies on the linguistic, computational, and cognitive aspects of...
185
click to vote
NETWORKING
2010
15 years 8 months ago
2010
Abstract. More and more free multi-party video conferencing applications are readily available over the Internet and both Server-to-Client (S/C) or Peer-to-Peer (P2P) technologies ...
170
click to vote
ICWSM
2008
15 years 8 months ago
2008
"Witkeys" are websites in China that form a rapidly growing web-based knowledge market. A user who posts a task also offers a small fee, and many other users submit thei...
183
Voted
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
177
click to vote
NIPS
2007
15 years 8 months ago
2007
We present a novel paradigm for statistical machine translation (SMT), based on a joint modeling of word alignment and the topical aspects underlying bilingual document-pairs, via...