Sciweavers

4902 search results - page 735 / 981
» Structures, Semantics and Statistics
Sort
View
FORMATS
2007
Springer
15 years 9 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
CLEF
2006
Springer
15 years 8 months ago
Inter-media Concept-Based Medical Image Indexing and Retrieval with UMLS at IPAL
Abstract. We promote the use of explicit medical knowledge to solve retrieval of information both visual and textual. For text, this knowledge is a set of concepts from a Meta-thes...
Caroline Lacoste, Jean-Pierre Chevallet, Joo-Hwee ...
UML
2000
Springer
15 years 8 months ago
On the Extension of UML with Use Case Maps Concepts
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
Daniel Amyot, Gunter Mussbacher
AAAI
2010
15 years 6 months ago
Unsupervised Learning of Event Classes from Video
We present a method for unsupervised learning of event classes from videos in which multiple actions might occur simultaneously. It is assumed that all such activities are produce...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...
AMW
2010
15 years 6 months ago
Generating XML/GML Schemas from Geographic Conceptual Schemas
Abstract. A large volume of data with complex structures is currently represented in GML (Geography Markup Language) for storing and exchanging geographic information. As the size ...
André C. Hora, Clodoveu A. Davis Jr., Mirel...