Sciweavers

3993 search results - page 526 / 799
» Matchmaking for Structured Objects
Sort
View
164
Voted
DEEC
2006
IEEE
15 years 7 months ago
A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
Walid Gaaloul, Karim Baïna, Claude Godart
ERCIMDL
2006
Springer
170views Education» more  ERCIMDL 2006»
15 years 7 months ago
Semantic Web Techniques for Multiple Views on Heterogeneous Collections: A Case Study
Abstract. Integrated digital access to multiple collections is a prominent issue for many Cultural Heritage institutions. Metadata describing diverse collections must be interopera...
Marjolein van Gendt, Antoine Isaac, Lourens van de...
ESOP
2006
Springer
15 years 7 months ago
Linear Regions Are All You Need
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
Matthew Fluet, Greg Morrisett, Amal J. Ahmed
FORMATS
2006
Springer
15 years 7 months ago
Timed Alternating-Time Temporal Logic
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
Thomas A. Henzinger, Vinayak S. Prabhu
3DIM
2001
IEEE
15 years 7 months ago
A Self-Referenced Hand-Held Range Sensor
Due to its portability and great maneuverability, a handheld range sensor is a flexible solution or complement to efficiently digitize the 3-D shape for a wide variety of objects....
Patrick Hébert