3001 search results - page 483 / 601 » Recursive type generativity |
159
click to vote
PCM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Content retrieval of scanned line drawing images is a difficult problem, especially from real-life large scale databases. Existing algorithms don’t work well due to th...
217
click to vote
SPRINGSIM
2010
15 years 4 months ago
2010
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
180
click to vote
STTT
2010
15 years 4 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
161
click to vote
TCS
2010
15 years 4 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
171
click to vote
VIROLOGY
2010
15 years 4 months ago
2010
By looking on how computer security issues are handled today, dealing with numerous and unknown events is not easy. Events need to be normalized, abnormal behaviors must be describ...