5630 search results - page 745 / 1126 » Computability in Specification |
192
click to vote
VRCAI
2004
ACM
16 years 7 days ago
2004
ACM
The Marching Cubes (MC) algorithm is a popular approach to extract iso-surfaces from volumetric data. This approach extracts triangles from the volume data for a specific iso-valu...
189
click to vote
KDD
2004
ACM
16 years 6 days ago
2004
ACM
In this paper, we propose a novel data mining technique for the efficient damage detection within the large-scale complex mechanical structures. Every mechanical structure is defi...
161
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
Smart cards are vulnerable to both invasive and non-invasive attacks. Specifically, non-invasive attacks using power and timing measurements to extract the cryptographic key has d...
189
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
Information about the user's environment offers new opportunities and exposes new challenges in terms of time-aware, location-aware, device-aware and personalized application...
200
click to vote
ICAIL
2003
ACM
16 years 2 days ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...