Sciweavers

5434 search results - page 1007 / 1087
» Semantic information portals
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 21 days 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»
15 years 17 days 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»
15 years 16 days 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»
15 years 14 days 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
15 years 1 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 »