6794 search results - page 329 / 1359 » Semantics of Visual Languages |
103
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
139
click to vote
ENTCS
2008
15 years 3 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
132
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
Recently, the Web has been rapidly "deepened" by many searchable databases online, where data are hidden behind query forms. For modelling and integrating Web databases,...
127
click to vote
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
Modeling visual concepts using supervised or unsupervised machine learning approaches are becoming increasing important for video semantic indexing, retrieval, and filtering appli...
142
click to vote
ROMAN
2007
IEEE
15 years 9 months ago
2007
IEEE
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...