Sciweavers

1525 search results - page 100 / 305
» Integrated Systems for Inducing Spatio-Temporal Process Mode...
Sort
View
ATAL
2006
Springer
15 years 8 months ago
Integrating agent-oriented methodologies with UML-AT
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 8 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
EKAW
2004
Springer
15 years 9 months ago
Generating and Integrating Evidence for Ontology Mappings
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
Ludger van Elst, Malte Kiesel
SAC
2004
ACM
15 years 9 months ago
Integrating similarity-based queries in image DBMSs
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
Solomon Atnafu, Richard Chbeir, David Coquil, Lion...
DOLAP
2003
ACM
15 years 9 months ago
Using AutoMed metadata in data warehousing environments
Metadata management is an essential factor in data warehousing. In data warehousing environments, data is transformed and integrated into a single database from multiple autonomou...
Hao Fan, Alexandra Poulovassilis