9264 search results - page 1311 / 1853 » Space Between Languages |
194
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
194
click to vote
DM
2007
15 years 7 months ago
2007
Switch-setting games like Lights Out are typically modelled as a graph, where the vertices represent switches and lamps, and the edges capture the switching rules. We generalize t...
225
click to vote
JODS
2006
15 years 7 months ago
2006
While providing a uniform syntax and a semistructured data model, XML does not express semantics but only structure such as nesting information. In this paper, we consider the prob...
195
click to vote
JAIR
2007
15 years 7 months ago
2007
Previous work in social network analysis (SNA) has modeled the existence of links from one entity to another, but not the attributes such as language content or topics on those li...
194
click to vote
TOG
2008
15 years 7 months ago
2008
A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establ...