6750 search results - page 812 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
186
click to vote
SP
1996
IEEE
15 years 11 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
166
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...
181
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
177
click to vote
EXACT
2008
15 years 9 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
188
click to vote
AAAI
2010
15 years 8 months ago
2010
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...