7195 search results - page 824 / 1439 » On Computing Power |
203
click to vote
LICS
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
205
click to vote
RTCSA
2005
IEEE
16 years 25 days ago
2005
IEEE
In current research toward the design of more powerful behavior of RTDBS under unpredictable workloads, different research groups focus their work on QoS (Quality of Service) guar...
189
click to vote
SAINT
2005
IEEE
16 years 25 days ago
2005
IEEE
The research community is working towards a new allencompassing vision of the Internet. This vision certainly includes powerful transport and switching technologies, wireless netw...
179
click to vote
SMI
2005
IEEE
16 years 24 days ago
2005
IEEE
Feature sensitive mesh segmentation is important for many computer graphics and geometric modeling applications. In this paper, we develop a mesh segmentation method which is capa...
175
click to vote
VISUALIZATION
2005
IEEE
16 years 24 days ago
2005
IEEE
Line primitives are a very powerful visual attribute used for scientific visualization and in particular for 3D vector-field visualization. We extend the basic line primitives w...