2849 search results - page 108 / 570 » As We Should Have Thought |
ICML
2009
IEEE
14 years 10 months ago
2009
IEEE
Users of topic modeling methods often have knowledge about the composition of words that should have high or low probability in various topics. We incorporate such domain knowledg...
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
High reliability against noise, low energy consumption and high performance are key objectives in the design of on-chip networks. Recently some researchers have considered the var...
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
VL
2007
IEEE
14 years 4 months ago
2007
IEEE
Web macros automate the interactions of end users with web sites and related information systems. Though web macro recorders and players have grown in sophistication over the past...
SEKE
2007
Springer
14 years 4 months ago
2007
Springer
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...