Sciweavers

2981 search results - page 350 / 597
» Answer Set Planning
Sort
View
JCT
2006
79views more  JCT 2006»
15 years 5 months ago
Reciprocity for multirestricted Stirling numbers
Multirestricted Stirling numbers of the second kind count the number of partitions of a given set into a given number of parts, each part being restricted to at most a fixed number...
Ji Young Choi, Ling Long, Siu-Hung Ng, Jonathan Sm...
EOR
2007
103views more  EOR 2007»
15 years 5 months ago
Bi-criteria scheduling problems: Number of tardy jobs and maximum weighted tardiness
Consider a single machine and a set of   jobs that are available for processing at time 0. Job ¡ has a processing time ¢¤£ , a due date ¥¦£ and a weight §¨£ . We consid...
Yumei Huo, Joseph Y.-T. Leung, Hairong Zhao
KES
2006
Springer
15 years 5 months ago
A Divergent-Style Learning Support Tool for English Learners Using a Thesaurus Diagram
This paper proposes an English learning support tool which provides users with divergent information to find the right words and expressions. In contrast to a number of software to...
Chie Shimodaira, Hiroshi Shimodaira, Susumu Kunifu...
ML
2006
ACM
131views Machine Learning» more  ML 2006»
15 years 5 months ago
Markov logic networks
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
Matthew Richardson, Pedro Domingos
AR
2005
145views more  AR 2005»
15 years 5 months ago
Distinguishability and identifiability testing of contact state models
An important component of compliant motion control is the estimation of contact states during task execution. This paper addresses two fundamental questions that must be answered w...
Thomas Debus, Pierre E. Dupont, Robert D. Howe