3619 search results - page 314 / 724 » Humor modeling in the interface |
179
click to vote
HCI
2001
15 years 8 months ago
2001
Usability testing typically focuses on methodology and metrics, while the specific interactions being tested are chosen in an ad hoc way. This paper demonstrates a framework for o...
171
click to vote
MAGS
2006
15 years 6 months ago
2006
A mobile multi-agent system is proposed to create solutions for the university course timetabling problem. It is composed of four kinds of agents: (mobile) Course Agents, and (stat...
174
click to vote
CMPB
2010
15 years 5 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
191
Voted
CAV
2004
Springer
16 years 2 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
171
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...