513 search results - page 94 / 103 » Recent Developments in Granular Computing: A Bibliometrics S... |
CONCUR
2001
Springer
13 years 12 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
Elections in India are conducted almost exclusively using electronic voting machines developed over the past two decades by a pair of government-owned companies. These devices, kn...
CF
2009
ACM
14 years 2 months ago
2009
ACM
Recently, multi-core architectures with alternative memory subsystem designs have emerged. Instead of using hardwaremanaged cache hierarchies, they employ software-managed embedde...
DIGRA
2005
Springer
14 years 1 months ago
2005
Springer
Identification is regarded as an important aspect of beneficial online interaction. In addition to providing the individual with potential psychological benefits, identification w...
SI3D
1992
ACM
13 years 11 months ago
1992
ACM
Recent advances in software and hardware technology have made direct ray-traced volume rendering of 3-d scalar data a feasible and effective method for imaging of the data's ...