5550 search results - page 669 / 1110 » Different Approaches to Proof Systems |
215
click to vote
ISM
2005
IEEE
16 years 22 days ago
2005
IEEE
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
201
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Taking customer data as an example, the paper presents an approach to enhance the management of enterprise data by using Semantic Web technologies. Customer data is the most import...
201
click to vote
CC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
184
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
202
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
We present an interactive system for creating pen-and-ink illustrations. The system uses stroke textures--collections of strokes arranged in different patterns--to generate textur...