3053 search results - page 433 / 611 » Structured Objects: Modeling and Reasoning |
109
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
Social virtual worlds (SVWs) have become increasingly important environments for social interaction, especially for the younger generations. For SVWs to be economically sustainabl...
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
111
click to vote
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
Popular XML languages, like XPath, use “treepattern” queries to select nodes based on their structural characteristics. While many processing methods have already been propose...
113
click to vote
NLDB
2007
Springer
15 years 8 months ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
136
click to vote
MM
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...