434 search results - page 35 / 87 » The Case for Browser Provenance |
ASPDAC
2004
ACM
14 years 12 days ago
2004
ACM
- Minimum area is one of the important objectives in technology mapping for lookup table-based FPGAs. It has been proven that the problem is NP-complete. This paper presents a poly...
VISUALIZATION
1995
IEEE
14 years 5 days ago
1995
IEEE
Invariant tori are examples of invariant manifolds in dynamical systems. Usual tools in dynamical systems such as analysis and numerical simulations alone are often not sufficient...
AAAI
2007
13 years 11 months ago
2007
The main focus in the area of action languages, such as GOLOG, was put on expressive power, while the development in the area of action planning was focused on efficient plan gen...
CSCWD
2008
Springer
13 years 10 months ago
2008
Springer
Role-based access control (RBAC) has been proven to be a flexible and useful access control model for information sharing in distributed collaborative environments. Permission-rol...
SEMWIKI
2008
13 years 10 months ago
2008
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. Since creating annotations manually is a...