4235 search results - page 677 / 847 » Process Spaces |
148
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
159
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
On Line Analysis Processing (OLAP) is a technology basically created to provide users with tools in order to explore and navigate into data cubes. Unfortunately, in huge and spars...
170
click to vote
CVBIA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, a novel one-element voxel attribute, namely distance-intensity (DI), is defined for associating spatial information with image intensity for registration tasks. For...
151
click to vote
ECAL
2005
Springer
15 years 12 months ago
2005
Springer
Efficient hierarchical architectures for reconfigurable and adaptive multi-agent networks require dynamic cluster formation among the set of nodes (agents). In the absence of cen...
189
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In the future, homes will have numerous intelligent communicating devices, and the user would like to configure and coordinate their actions. Appliances and people in in...