1236 search results - page 117 / 248 » Prefix-Like Complexities and Computability in the Limit |
ACSC
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
BROADNETS
2006
IEEE
15 years 4 months ago
2006
IEEE
— We introduce a new algorithmic framework for advanced channel reservation in ultra high speed networks, called Graded Channel Reservation (GCR). GCR allows users to specify min...
120
click to vote
CGI
2006
IEEE
15 years 4 months ago
2006
IEEE
The modelling method for creating 3D models in an intuitive way is far from satisfactory. In this paper, we develop a novel mesh fusion method controlled by sketches, which allows...
ESCIENCE
2006
IEEE
15 years 4 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
The prediction of protein 3D structure has become a hot research area in the post-genome era, through which people can understand a protein’s function in health and disease, exp...