5550 search results - page 969 / 1110 » Different Approaches to Proof Systems |
174
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
164
click to vote
BMVC
2002
15 years 9 months ago
2002
This paper describes a novel system for building seamless texture maps for a surface of arbitrary topology from real images of the object taken with a standard digital camera and ...
187
click to vote
AAAI
2007
15 years 9 months ago
2007
Assessing recovery from stroke has been so far a time consuming procedure in which highly trained clinicians are required. This paper proposes a mechatronic platform which measure...
220
click to vote
WSC
2007
15 years 9 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
171
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...