3564 search results - page 213 / 713 » Evaluating a Formal Modelling Language |
153
click to vote
IAT
2006
IEEE
16 years 17 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
153
click to vote
AIED
2005
Springer
16 years 2 days ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
187
click to vote
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...
150
click to vote
ENTCS
2008
15 years 6 months ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
163
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...