5550 search results - page 1065 / 1110 » Different Approaches to Proof Systems |
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
85
Voted
GRID
2005
Springer
15 years 3 months ago
2005
Springer
— Access control in computational grids is typically provided by a combination of identity certificates and local accounts. This approach does not scale as the number of users a...
JSSPP
2005
Springer
15 years 3 months ago
2005
Springer
Irregular and iterative I/O-intensive jobs need a different approach from parallel job schedulers. The focus in this case is not only the processing requirements anymore: memory, ...
118
click to vote
MM
2004
ACM
15 years 3 months ago
2004
ACM
We consider the problem of learning a mapping function from low-level feature space to high-level semantic space. Under the assumption that the data lie on a submanifold embedded ...
MM
2004
ACM
15 years 3 months ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...