Sciweavers

3963 search results - page 553 / 793
» Designing for learning
Sort
View
149
Voted
SKG
2006
IEEE
15 years 10 months ago
Simulate Grid Resource Trading via Cognitive Agent: A Case Study
In this paper, we explore the market-based grid resource trading system from the social perspective and the collaborative computing perspective. We firstly introduce a novel fram...
Yuhui Qiu, Zhixing Huang
ACMSE
2006
ACM
15 years 10 months ago
A SAT-based solver for Q-ALL SAT
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
Ben Browning, Anja Remshagen
DAC
2006
ACM
15 years 10 months ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao
APSEC
2005
IEEE
15 years 10 months ago
Please STeP_IN: A Socio-Technical Platform for in situ Networking
This paper describes a system called STeP_IN (standing for Socio-Technical Platform for in situ Networking) that assists software developer to find and learn Java API libraries. I...
Yoshiyuki Nishinaka, Mitsuhiro Asada, Yasuhiro Yam...
ICDM
2005
IEEE
187views Data Mining» more  ICDM 2005»
15 years 10 months ago
Parallel Algorithms for Distance-Based and Density-Based Outliers
An outlier is an observation that deviates so much from other observations as to arouse suspicion that it was generated by a different mechanism. Outlier detection has many applic...
Elio Lozano, Edgar Acuña