Sciweavers

5550 search results - page 207 / 1110
» Different Approaches to Proof Systems
Sort
View
JUCS
2010
150views more  JUCS 2010»
15 years 5 months ago
SOM Clustering to Promote Interoperability of Directory Metadata: A Grid-Enabled Genetic Algorithm Approach
: Directories provide a general mechanism for describing resources and enabling information sharing within and across organizations. Directories must resolve differing structures a...
Lei Li, Vijay K. Vaishnavi, Art Vandenberg
ER
2008
Springer
117views Database» more  ER 2008»
15 years 8 months ago
On the Formal Semantics of Change Patterns in Process-Aware Information Systems
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
Stefanie Rinderle-Ma, Manfred Reichert, Barbara We...
APIN
2004
127views more  APIN 2004»
15 years 6 months ago
CLSS: An Intelligent Crane Lorry Scheduling System
Companies that provide crane-lorry services are faced with the daily need to perform vehicle and driver allocation and scheduling. Many companies still do this manually due to the ...
Hon Wai Chun, Rebecca Y. M. Wong
ICDE
2005
IEEE
126views Database» more  ICDE 2005»
16 years 8 months ago
A Probabilistic XML Approach to Data Integration
In mobile and ambient environments, devices need to become autonomous, managing and resolving problems without interference from a user. The database of a (mobile) device can be s...
Maurice van Keulen, Ander de Keijzer, Wouter Alink
CHI
2004
ACM
16 years 7 months ago
Anthropomorphic visualization: a new approach for depicting participants in online spaces
Anthropomorphic visualization is a new approach to presenting historical information about participants in online spaces using the human form as the basis for the visualization. V...
Ethan Perry, Judith S. Donath