1983 search results - page 271 / 397 » User Interface Modelling with UML |
114
Voted
JSS
2006
15 years 3 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
123
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
126
click to vote
DOCENG
2005
ACM
15 years 5 months ago
2005
ACM
This paper presents an iterative method for generative semantic clustering of related information elements in spatial hypertext documents. The goal is to automatically organize th...
141
Voted
WWW
2010
ACM
2010
ACM
Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web
15 years 10 months ago
The transition of personal information management (PIM) tools off the desktop to the Web presents an opportunity to augment these tools with capabilities provided by the wealth o...
145
Voted
IUI
2011
ACM
14 years 6 months ago
2011
ACM
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...