5465 search results - page 679 / 1093 » Assigning Types to Processes |
185
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Schur's transforms of a polynomial are used to count its roots in the unit disk. These are generalized them by introducing the sequence of symmetric sub-resultants of two pol...
202
click to vote
IJDAR
2008
15 years 7 months ago
2008
Abstract This paper describes a document recognition system for the modern neume based notation of Byzantine music. We propose algorithms for page segmentation, lyrics removal, syn...
185
click to vote
IANDC
2006
15 years 7 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
184
click to vote
IPM
2008
15 years 7 months ago
2008
In this paper we investigate how information surrogates might be useful in exploratory search and what information it is useful for a surrogate to contain. By comparing assessment...
181
click to vote
COMCOM
2007
15 years 7 months ago
2007
The difficulty of efficiently reordering the rules in an Access Control List is considered and the essential optimisation problem formulated. The complexity of exact and sophistic...