883 search results - page 79 / 177 » The Semantics of Verilog Using Transition System Combinators |
BPM
2005
Springer
14 years 2 months ago
2005
Springer
Companies are developing a growing interest in aligning their information systems in a process-oriented way. However, current processaware information systems (PAIS) fail to meet p...
IFM
1999
Springer
14 years 1 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
ENGL
2007
13 years 9 months ago
2007
—This paper presents a novel hybrid method for content based visual information retrieval (CBIR) that combines shape analysis of objects in image with their automatic indexing by...
KDD
2004
ACM
14 years 9 months ago
2004
ACM
This paper proposes a data mining approach to modeling relationships among categories in image collection. In our approach, with image feature grouping, a visual dictionary is cre...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
LIMBS is an open source brokerage system developed in the framework of the CALIBRATE project. LIMBS relies on open standards and open contents to promote exchanges of learning res...