6274 search results - page 848 / 1255 » Proofs, Programs, Processes |
168
click to vote
IJCSA
2006
15 years 5 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
151
click to vote
INFORMATICALT
2000
15 years 5 months ago
2000
In this paper, the hexagonal approach was proposed for modeling the functioning of cerebral cortex, especially, the processes of learning and recognition of visual information. Thi...
191
click to vote
TMI
2010
15 years 3 months ago
2010
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...
154
click to vote
DAGM
2010
Springer
15 years 3 months ago
2010
Springer
We present a novel method for 3D reconstruction of urban scenes extending a recently introduced heightmap model. Our model has several advantages for 3D modeling of urban scenes: i...
329
click to vote
PE
2011
Springer
15 years 10 days ago
2011
Springer
This paper studies the optimal resource allocation in time-reservation systems. Customers arrive at a service facility and receive service in two steps; in the first step informa...