221 search results - page 10 / 45 » A Hybrid Cluster-Lift Method for the Analysis of Research Ac... |
TCS
2002
13 years 8 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
MICCAI
2006
Springer
14 years 10 months ago
2006
Springer
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...
ICS
2001
Tsinghua U.
14 years 1 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...
IWC
2011
13 years 4 months ago
2011
The importance of adopting a socio-technical approach to system development is recognised by many but not widely practised. We analyse the reasons for this, considering the histor...
SIBGRAPI
2006
IEEE
14 years 3 months ago
2006
IEEE
Expression Transfer is a method for mapping a photographed expression performed by a given subject onto the photograph of another person’s face. Building on well succeeded previ...