14709 search results - page 2329 / 2942 » Semantic feature modelling |
192
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
243
click to vote
CCECE
2006
IEEE
16 years 1 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
186
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
A key aspect of any data integration endeavor is establishing a transformation that translates instances of one or more source schemata into instances of a target schema. This sch...
187
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Various error control schemes have been addressed in wireless video stream transmission. By combining an adaptive binary arithmetic coding technique with context modeling, CABAC a...
178
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
In order to solve medical multimodal queries, we propose to split the queries in different dimensions using ontology. We extract both textual and visual terms depending on the ont...