10042 search results - page 1513 / 2009 » Interactive Topic Modeling |
218
click to vote
FMCO
2007
Springer
16 years 1 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
175
click to vote
HUC
2007
Springer
16 years 1 months ago
2007
Springer
Weight training, in addition to aerobic exercises, is an important component of a balanced exercise program. However, mechanisms for tracking free weight exercises have not yet bee...
203
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
176
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Understanding intent is an important aspect of communication among people and is an essential component of the human cognitive system. This capability is particularly rel...
233
click to vote
LADS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Web applications represent an important category of applications that owe much of their popularity to the ubiquitous accessibility using standard web browsers. The comple...