1469 search results - page 274 / 294 » Structural aspects of tilings |
105
click to vote
EMSOFT
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
HICSS
2000
IEEE
15 years 3 months ago
2000
IEEE
Easy-to-access and up-to-date project status feedback is an important aspect of effective project management. When project data is collected, a common problem is how to present th...
MSS
2000
IEEE
15 years 3 months ago
2000
IEEE
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
100
click to vote
IDEAS
1999
IEEE
15 years 3 months ago
1999
IEEE
Decision support systems are important in leveraging information present in data warehouses in businesses like banking, insurance, retail and health-care among many others. The mu...
113
click to vote
TPHOL
1999
IEEE
15 years 3 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...