2041 search results - page 195 / 409 » Modelling Generic Judgements |
119
click to vote
ICPPW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper emphasizes on load balancing issues associated with hybrid programming models for the parallelization of fully permutable nested loops onto SMP clusters. Hybrid paralle...
164
click to vote
ICBA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...
152
click to vote
MTV
2003
IEEE
15 years 9 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
136
click to vote
ISLPED
1999
ACM
15 years 8 months ago
1999
ACM
While guarded evaluation has proven an effective energy saving technique in arithmetic circuits, good methodologies do not exist for determining when and how to guard for maximal ...
158
click to vote
EDOC
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper reports on applying the ODP enterprise viewpoint in the domain of tele-education. The work is conducted as part of a research activity1 that aims at designing a tele-ed...