Sciweavers

2765 search results - page 231 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
ER
2000
Springer
116views Database» more  ER 2000»
15 years 10 months ago
On Business Process Model Transformations
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
Wasim Sadiq, Maria E. Orlowska
OTM
2005
Springer
16 years 6 days ago
Spatio-temporal Schema Integration with Validation: A Practical Approach
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
Anastasiya Sotnykova, Nadine Cullot, Christelle Va...
ICMCS
2006
IEEE
167views Multimedia» more  ICMCS 2006»
16 years 23 days ago
Efficient Object Tracking using Control-Based Observer Design
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
Wei Qu, Dan Schonfeld
155
Voted
ASYNC
2002
IEEE
120views Hardware» more  ASYNC 2002»
15 years 11 months ago
Relative Timing Based Verification of Timed Circuits and Systems
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
Peter A. Beerel, Ken S. Stevens, Hoshik Kim
HICSS
2003
IEEE
85views Biometrics» more  HICSS 2003»
16 years 4 hour ago
Designs for Ramp-Constrained Day-Ahead Auctions
— Some electric power markets allow bidders to specify constraints on ramp rates for increasing or decreasing power production. We show in a small example that a bidder could use...
Shmuel S. Oren, Andrew M. Ross