11808 search results - page 1985 / 2362 » Isometries and Computability Structures |
204
click to vote
ITNG
2010
IEEE
15 years 12 months ago
2010
IEEE
— Clustering is a pivotal building block in many data mining applications and in machine learning in general. Most clustering algorithms in the literature pertain to off-line (or...
162
click to vote
EICS
2010
ACM
15 years 12 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications as well as new features such as the capacity of UIs to be dynamically adapted to the context o...
171
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
149
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
209
click to vote
GMP
2002
IEEE
15 years 11 months ago
2002
IEEE
A new computational method that creates a hex-dominant mesh of an arbitrary 3D geometric domain is presented. The proposed method generates a high-quality hexdominant mesh by: (1)...