2786 search results - page 311 / 558 » A Practical Technique for Process Abstraction |
162
click to vote
DBSEC
2007
15 years 8 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...
162
click to vote
OWLED
2008
15 years 8 months ago
2008
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
192
click to vote
SERP
2004
15 years 8 months ago
2004
Attention to aspect oriented programming (AOP) is rapidly growing as its benefits in large software system development and maintenance are increasingly recognized. However, existin...
157
click to vote
ANLP
1994
15 years 8 months ago
1994
A new technique to locate content-representing words for a given document image using representation of character shapes is described. A character shape code representation define...
170
click to vote
ADHOCNOW
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In focused coverage problem, sensors are required to be deployed around a given point of interest (POI) with respect to a priority requirement: an area close to POI has h...