Sciweavers

3690 search results - page 247 / 738
» Computation with classical sequents
Sort
View
IPPS
2006
IEEE
15 years 6 months ago
A design environment for mobile applications
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
Stephen Gilmore, Valentin Haenel, Jane Hillston, J...
187
Voted
JVA
2006
IEEE
15 years 6 months ago
Features of Future Network Processor Architectures
As network applications are becoming increasingly sophisticated and internet traffic is getting heavier, future network processors must continue processing computation-intensive ...
Kyueun Yi, Jean-Luc Gaudiot
87
Voted
ICIP
2005
IEEE
15 years 6 months ago
Medical image registration based on random line sampling
One of the key aspects in 3D-image registration is the computation of the joint intensity histogram. We propose a new approach to compute this histogram using uniformly distribute...
Anton Bardera, Miquel Feixas, Imma Boada, Mateu Sb...
115
Voted
CVBIA
2005
Springer
15 years 6 months ago
Automatic Extraction of Femur Contours from Hip X-Ray Images
Abstract. Extraction of bone contours from x-ray images is an important first step in computer analysis of medical images. It is more complex than the segmentation of CT and MR im...
Ying Chen, Xianhe Ee, Wee Kheng Leow, Tet Sen Howe
111
Voted
EUC
2005
Springer
15 years 6 months ago
Ubiquitous Content Formulations for Real-Time Information Communications
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
Ka Lun Eddie Law, Sunny So