4752 search results - page 73 / 951 » From computation models to models of provenance: the RWS app... |
HRI
2006
ACM
14 years 2 months ago
2006
ACM
Humanoid robots offer many physical design choices such as voice frequency and head dimensions. We used hierarchical statistical mediation analysis to trace differences in peopleā...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
WSC
1998
13 years 10 months ago
1998
This paper discusses the development of a series of models that ultimately leads to an unusual simulation approach to modeling automated guided vehicles on a factory floor. A pede...
GEOS
2007
Springer
14 years 3 months ago
2007
Springer
Spatio-temporal network is deļ¬ned by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
ICPR
2010
IEEE
13 years 7 months ago
2010
IEEE
Documents in many corpora, such as digital libraries and webpages, contain both content and link information. In a traditional topic model which plays an important role in the uns...