4629 search results - page 605 / 926 » Space Kernel Analysis |
189
Voted
JCSS
2010
15 years 6 months ago
2010
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...
221
click to vote
MODELS
2010
Springer
15 years 6 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
233
click to vote
RE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
225
click to vote
EMNLP
2010
15 years 5 months ago
2010
Representing documents by vectors that are independent of language enhances machine translation and multilingual text categorization. We use discriminative training to create a pr...
205
Voted
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
The sounds generated by a writing instrument provide a rich and under-utilized source of information for pattern recognition. We examine the feasibility of recognition of handwrit...