Sciweavers

2613 search results - page 308 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
208
Voted
ICMCS
1996
IEEE
135views Multimedia» more  ICMCS 1996»
15 years 11 months ago
Spatio-Temporal Indexing for Large Multimedia Applications
Multimedia applications usually involve a large number of multimedia objects (texts, images, sounds etc.). Spatial and temporal relationships among these objects should be efficie...
Yannis Theodoridis, Michalis Vazirgiannis, Timos K...
SAC
2008
ACM
15 years 6 months ago
Towards design patterns for ontology alignment
Aligning ontologies is a crucial and tedious task. Matching algorithms and tools provide support to facilitate the task of the user in defining correspondences between ontologies ...
François Scharffe, Jérôme Euze...
226
Voted
SBACPAD
2008
IEEE
249views Hardware» more  SBACPAD 2008»
16 years 1 months ago
Processing Neocognitron of Face Recognition on High Performance Environment Based on GPU with CUDA Architecture
This work presents an implementation of Neocognitron Neural Network, using a high performance computing architecture based on GPU (Graphics Processing Unit). Neocognitron is an ar...
Gustavo Poli, José Hiroki Saito, Joã...
211
Voted
MOZ
2004
Springer
16 years 11 days ago
Implementing Semiring-Based Constraints Using Mozart
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
Alberto Delgado, Carlos Alberto Olarte, Jorge Andr...
241
Voted
TDSC
2008
152views more  TDSC 2008»
15 years 7 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...