7123 search results - page 1300 / 1425 » The Ordered Set of Rough Sets |
ICFEM
2007
Springer
14 years 3 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
ICMI
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we describe an interface consisting of a virtual showroom where a team of two highly realistic 3D agents presents product items in an entertaining and attractive wa...
ICS
2007
Tsinghua U.
14 years 3 months ago
2007
Tsinghua U.
Software or hardware data cache prefetching is an efficient way to hide cache miss latency. However effectiveness of the issued prefetches have to be monitored in order to maximi...
ICWE
2007
Springer
14 years 3 months ago
2007
Springer
WE practices lack an impact on industry, partly due to a WE field that is not quality-aware. In fact, it is difficult to find WE methodologies that pay explicit attention to qualit...
OTM
2007
Springer
14 years 3 months ago
2007
Springer
Despite significant advancement in ontology learning, building ontologies remains a task that highly depends on human intelligence, both as a source of domain expertise and for pro...