Sciweavers

4397 search results - page 385 / 880
» Relational Algebra Operations
Sort
View
HVC
2007
Springer
107views Hardware» more  HVC 2007»
16 years 10 days ago
On the Characterization of Until as a Fixed Point Under Clocked Semantics
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
Dana Fisman
EDOC
2006
IEEE
16 years 7 days ago
Situations in Conceptual Modeling of Context
In previous work, we have defined conceptual foundations that can be beneficially used in context modeling. These conceptual foundations include the separation of entity and conte...
Patricia Dockhorn Costa, Giancarlo Guizzardi, Jo&a...
HICSS
2006
IEEE
89views Biometrics» more  HICSS 2006»
16 years 7 days ago
Knowledge Management and Organizational Performance: An Exploratory Survey
Ninety organizations were surveyed in an exploratory investigation of the organizational impact of knowledge management (KM). A search of the literature revealed 12 KM practices. ...
James D. McKeen, Michael H. Zack, Satyendra Singh
OTM
2005
Springer
15 years 11 months ago
Semantic Schema Matching
We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...
Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskev...
WIA
2005
Springer
15 years 11 months ago
A Class of Rational n-WFSM Auto-intersections
Weighted finite-state machines with n tapes describe n-ary rational string relations. The join n-ary relation is very important regarding to applications. It is shown how to compu...
André Kempe, Jean-Marc Champarnaud, Jason E...