5630 search results - page 745 / 1126 » Computability in Specification |
223
click to vote
VRCAI
2004
ACM
16 years 1 months 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...
220
click to vote
KDD
2004
ACM
16 years 1 months 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...
176
click to vote
DATE
2003
IEEE
16 years 28 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...
212
click to vote
HICSS
2003
IEEE
16 years 28 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...
232
click to vote
ICAIL
2003
ACM
16 years 27 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...