1729 search results - page 124 / 346 » Practical Temporal Projection |
MSR
2005
ACM
15 years 8 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
115
Voted
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
120
click to vote
VISUALIZATION
1997
IEEE
15 years 6 months ago
1997
IEEE
Splatting is a popular direct volume rendering algorithm. However, the algorithm does not correctly render cases where the volume sampling rate is higher than the image sampling r...
117
Voted
IJCAI
1989
15 years 3 months ago
1989
This paper presents an approach to temporal reasoning in which prediction is deduction but explanation is abduction. It is argued that all causal laws should be expressed in the n...
103
click to vote
AAAI
2007
15 years 4 months ago
2007
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...