Sciweavers

1034 search results - page 122 / 207
» Formalization of Web Design Patterns Using Ontologies
Sort
View
COLING
2010
13 years 5 months ago
E-HowNet and Automatic Construction of a Lexical Ontology
In this paper, we propose a lexical senses representation system called E-HowNet, in which the lexical senses are defined by basic concepts. As a result, the meanings of expressio...
Wei-Te Chen, Su-Chu Lin, Shu-Ling Huang, You-Shan ...
ESWS
2008
Springer
13 years 12 months ago
Combining Context Navigation with Semantic Autocompletion to Solve Problems in Concept Selection
Many tasks on the semantic web require the user to choose concepts from a limited vocabulary e.g. for describing an indexed resource or for use in semantic search. Semantic autocom...
Reetta Sinkkilä, Eetu Mäkelä, Eero ...
SEKE
2007
Springer
14 years 4 months ago
A Development Platform for Distributed User Interfaces
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...
Anders Larsson, Magnus Ingmarsson, Bo Sun
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
14 years 7 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
WWW
2005
ACM
14 years 10 months ago
On business activity modeling using grammars
Web based applications offer a mainstream channel for businesses to manage their activities. We model such business activity in a grammar-based framework. The Backus Naur form not...
Savitha Srinivasan, Arnon Amir, Prasad Deshpande, ...