Sciweavers

334 search results - page 51 / 67
» The CORES Project
Sort
View
ASM
2008
ASM
13 years 9 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
CIVR
2008
Springer
138views Image Analysis» more  CIVR 2008»
13 years 9 months ago
Visual islands: intuitive browsing of visual search results
The amount of available digital multimedia has seen exponential growth in recent years. While advances have been made in the indexing and searching of images and videos, less focu...
Eric Zavesky, Shih-Fu Chang, Cheng-Chih Yang
ESWS
2008
Springer
13 years 9 months ago
Combining Fact and Document Retrieval with Spreading Activation for Semantic Desktop Search
Abstract. The Semantic Desktop is a means to support users in Personal Information Management (PIM). It provides an excellent test bed for Semantic Web technology: resources (e. g....
Kinga Schumacher, Michael Sintek, Leo Sauermann
ESWS
2008
Springer
13 years 9 months ago
Building a National Semantic Web Ontology and Ontology Service Infrastructure -The FinnONTO Approach
Abstract. This paper presents the vision and results of creating a national level cross-domain ontology and ontology service infrastructure in Finland. The novelty of the infrastru...
Eero Hyvönen, Kim Viljanen, Jouni Tuominen, K...
FASE
2008
Springer
13 years 9 months ago
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
Laura Bocchi, Stephen Gorton, Stephan Reiff-Margan...