557 search results - page 104 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
70
Voted
BILDMED
2007
14 years 11 months ago
2007
Abstract. In the last decades there has been tremendous research towards the design of fully automatic non-rigid registration schemes. However, apart from the ITK based implementat...
TSP
2008
14 years 9 months ago
2008
Abstract--This paper addresses the problem of adaptively allocating the bits and the power among a set of parallel subchannels. A frame-oriented transmission with convolutional cod...
70
Voted
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: Research in the field of academic teaching and life focuses on the integration of recent technologies. Additionally, new trends within the current usage of e.g. the Inter...
80
Voted
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
Abstract—People waste many hours driving each day. Although unavoidable, this time can be very boring to motorists. Similar to people taking mass transit who often pass the time ...
SDM
2004
SIAM
14 years 11 months ago
2004
SIAM
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...