1261 search results - page 132 / 253 » A Hierarchy of Temporal Properties |
ICSE
2009
IEEE-ACM
13 years 8 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we examine 1) the scope of geo-ontologies used especially for the purposes of information retrieval on the Web, 2) the core geographical concepts and their mutual re...
DCC
2010
IEEE
14 years 5 months ago
2010
IEEE
In this work we describe a sequence compression method based on combining a Bayesian nonparametric sequence model with entropy encoding. The model, a hierarchy of Pitman-Yor proce...
GRC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— One of the relations used with granularity is indistinguishability, where distinguishable entities in a finer-grained granule are indistinguishable in a coarser-graine...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...