3793 search results - page 582 / 759 » Expressive Description Logics |
152
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
172
click to vote
WCRE
2006
IEEE
16 years 14 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
180
click to vote
ICDAR
2005
IEEE
16 years 2 days ago
2005
IEEE
Relationships that link static documents discussed during meetings to the corresponding speech transcripts can be of various kinds. The most important ones, thematic links, quotat...
152
click to vote
ICDE
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
160
click to vote
TIME
2005
IEEE
16 years 1 days ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...