2863 search results - page 280 / 573 » Computer modelling and natural phenomena |
184
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
149
click to vote
BC
2008
15 years 6 months ago
2008
We propose a novel model of visual contrast measurement based on segregated ON and OFF pathways. Two driving forces have shaped our investigation: (1) establishing a mechanism sele...
166
click to vote
TKDE
2008
15 years 6 months ago
2008
Phrase has been considered as a more informative feature term for improving the effectiveness of document clustering. In this paper, we propose a phrase-based document similarity t...
167
click to vote
SG
2010
Springer
15 years 5 months ago
2010
Springer
Like many natural phenomenon, clouds are often modeled using procedural methods, which may be difficult for an artist to control. In this paper, a freehand sketching system is prop...
213
click to vote
ACL
2012
13 years 9 months ago
2012
Many semantic parsing models use tree transformations to map between natural language and meaning representation. However, while tree transformations are central to several state-...