29143 search results - page 5369 / 5829 » A Sortation System Model |
179
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
166
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
211
click to vote
GIR
2008
ACM
15 years 8 months ago
2008
ACM
With the aim to improve the quality of gazetteers for geographic information retrieval systems, we present a method to detect place names employed by people submitting information...
175
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We investigate various ways of generating prosodic syllable contour features that have recently been applied to enhance systems for speaker recognition. We compare different appro...
217
Voted
EDOC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents an approach for embodying nonfunctional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architec...