Sciweavers

3963 search results - page 553 / 793
» Designing for learning
Sort
View
SKG
2006
IEEE
16 years 19 days 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
16 years 18 days 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
16 years 18 days 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
16 years 7 days 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»
16 years 7 days 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