Sciweavers

433 search results - page 77 / 87
» Towards a BPMN Semantics Using UML Models
Sort
View
CVPR
2012
IEEE
11 years 11 months ago
Automatic discovery of groups of objects for scene understanding
Objects in scenes interact with each other in complex ways. A key observation is that these interactions manifest themselves as predictable visual patterns in the image. Discoveri...
Congcong Li, Devi Parikh, Tsuhan Chen
IJDAR
2007
106views more  IJDAR 2007»
13 years 8 months ago
Investigation and modeling of the structure of texting language
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...
Monojit Choudhury, Rahul Saraf, Vijit Jain, Animes...
AICT
2006
IEEE
210views Communications» more  AICT 2006»
14 years 2 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
BMCBI
2008
133views more  BMCBI 2008»
13 years 8 months ago
Towards ontology-driven navigation of the lipid bibliosphere
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...
Christopher J. O. Baker, Kanagasabai Rajaraman, We...
POPL
2000
ACM
14 years 10 days ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu