Sciweavers

5434 search results - page 1007 / 1087
» Semantic information portals
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
13 years 4 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
JBCS
2010
85views more  JBCS 2010»
13 years 4 months ago
OWL schema matching
Schema matching is a fundamental issue to many database applications, such as query mediation and data warehousing. It becomes a challenge when different vocabularies are used to r...
Luiz André P. Paes Leme, Marco A. Casanova,...
JITECH
2010
160views more  JITECH 2010»
13 years 4 months ago
Social software for business process modeling
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
Agnes Koschmider, Minseok Song, Hajo A. Reijers
TAAS
2010
124views more  TAAS 2010»
13 years 3 months ago
The MACODO organization model for context-driven dynamic agent organizations
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
Danny Weyns, Robrecht Haesevoets, Alexander Helleb...
CVPR
2011
IEEE
13 years 5 months ago
Recognizing Human Actions by Attributes
In this paper we explore the idea of using high-level semantic concepts, also called attributes, to represent human actions from videos and argue that attributes enable the constr...
Jingen Liu
« Prev « First page 1007 / 1087 Last » Next »