Sciweavers

1852 search results - page 47 / 371
» Structured Ontology Format
Sort
View
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
14 years 2 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
ATAL
2008
Springer
13 years 9 months ago
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
Michael Köhler-Bußmeier, Matthias Weste...
CVHI
2007
13 years 9 months ago
E-learning Platform for Interactive Access to Multimedia Materials in Daisy Format
The Paper presents multimedia system for accessible distant education which consists of multimedia browser accessible for visually impaired people and content distribution streamin...
Piotr Brzoza
ICPR
2010
IEEE
13 years 5 months ago
The PAGE (Page Analysis and Ground-Truth Elements) Format Framework
There is a plethora of established and proposed document representation formats but none that can adequately support individual stages within an entire sequence of document image ...
Stefan Pletschacher, Apostolos Antonacopoulos
ECAL
2007
Springer
14 years 1 months ago
Individual Selection for Cooperative Group Formation
It is well known that certain environmental conditions, such as a spatially structured population, can promote the evolution of cooperative traits. However, such conditions are usu...
Simon T. Powers, Alexandra S. Penn, Richard A. Wat...