Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.
Jens Chr. GodskesenThomas T. HildebrandtPublished in: FSTTCS (2005)
Keyphrases
- detection method
- support vector machine
- prior knowledge
- computational complexity
- fully automatic
- high precision
- dynamic programming
- segmentation method
- detection algorithm
- high accuracy
- computationally efficient
- higher order
- optimization method
- resource allocation
- mobile phone
- data sets
- classification accuracy
- computational cost
- experimental evaluation
- feature space
- preprocessing
- objective function