7623 search results - page 1211 / 1525 » Constructive Volume Modeling |
152
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
185
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
153
click to vote
AAAI
2008
15 years 7 months ago
2008
Classification of texts potentially containing a complex and specific terminology requires the use of learning methods that do not rely on extensive feature engineering. In this w...
169
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Social Network Marketing techniques employ pre-existing social networks to increase brands or products awareness through word-of-mouth promotion. Full understanding of social netw...
152
click to vote
EMNLP
2007
15 years 6 months ago
2007
One may need to build a statistical parser for a new language, using only a very small labeled treebank together with raw text. We argue that bootstrapping a parser is most promis...