Sciweavers

1941 search results - page 98 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
IPPS
2008
IEEE
15 years 11 months ago
A modeling approach for estimating execution time of long-running scientific applications
In a Grid computing environment, resources are shared among a large number of applications. Brokers and schedulers find matching resources and schedule the execution of the applic...
Seyed Masoud Sadjadi, Shu Shimizu, Javier Figueroa...
JIS
2010
125views more  JIS 2010»
15 years 2 months ago
Representing and sharing folksonomies with semantics
Websites that provide content creation and sharing features have become quite popular recently. These sites allow users to categorize and browse content using ‘tags’ or free-t...
Hak Lae Kim, Stefan Decker, John G. Breslin
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 6 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
TMM
2010
135views Management» more  TMM 2010»
14 years 11 months ago
Image Classification With Kernelized Spatial-Context
Abstract--The goal of image classification is to classify a collection of unlabeled images into a set of semantic classes. Many methods have been proposed to approach this goal by ...
Guo-Jun Qi, Xian-Sheng Hua, Yong Rui, Jinhui Tang,...
FOSSACS
2003
Springer
15 years 9 months ago
A Game Semantics for Generic Polymorphism
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
Samson Abramsky, Radha Jagadeesan