Sciweavers

1983 search results - page 300 / 397
» User Interface Modelling with UML
Sort
View
IUI
2000
ACM
15 years 7 months ago
Learning to recommend from positive evidence
In recent years, many systems and approaches for recommending information, products or other objects have been developed. In these systems, often machine learning methods that nee...
Ingo Schwab, Wolfgang Pohl, Ivan Koychev
119
Voted
CHI
2009
ACM
16 years 4 months ago
Predicting tie strength with social media
Social media treats all users the same: trusted friend or total stranger, with little or nothing in between. In reality, relationships fall everywhere along this spectrum, a topic...
Eric Gilbert, Karrie Karahalios
JAR
2006
103views more  JAR 2006»
15 years 3 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
IJMMS
2000
85views more  IJMMS 2000»
15 years 3 months ago
Ontology-driven document enrichment: principles, tools and applications
In this paper we present an approach to document enrichment, which consists of developing and integrating formal knowledge models with archives of documents, to provide intelligent...
Enrico Motta, Simon Buckingham Shum, John Domingue
SIGCSE
2002
ACM
126views Education» more  SIGCSE 2002»
15 years 3 months ago
Design patterns for games
Designing a two-person game involves identifying the game model to compute the best moves, the user interface (the "view") to play the game, and the controller to coordi...
Dung Zung Nguyen, Stephen B. Wong