3619 search results - page 386 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
177
click to vote
INTERNET
2002
15 years 4 months ago
2002
of abstractions a middleware system makes available to applications, they figure prominently in determining the breadth and variety of application integration that the middleware s...
138
click to vote
TSE
2010
15 years 3 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
169
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
The binary form of an image does not tell what the image is about. It is possible to retrieve images from a database using pattern matching techniques, but usually textual descript...
123
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
We have built over the last few years an integrated browser and query interface for watching a movie synchronized with its script. The system is demonstrated with the movie ’The...
146
click to vote
POPL
2012
ACM
14 years 17 days ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...