610 search results - page 71 / 122 » Generating Research Websites Using Summarisation Techniques |
ICCSA
2004
Springer
15 years 3 months ago
2004
Springer
Visualization is a key issue for multivariate data analysis. Multivariate visualization is an active research topic and many efforts have been made in order to find suitable and ...
CCO
2001
Springer
15 years 2 months ago
2001
Springer
Branch, cut, and price (BCP) is an LP-based branch and bound technique for solving large-scale discrete optimization problems (DOPs). In BCP, both cuts and variables can be generat...
PLDI
1997
ACM
15 years 2 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
APCSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
Since we first devised and defined password-capabilities as a new technique for building capability-based operating systems, a number of research systems around the world have use...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...