12981 search results - page 2166 / 2597 » Model Checking (Abstract) |
193
click to vote
APWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. XML provides a natural mechanism for representing semistructured and unstructured data. It becomes the basis for encoding a large variety of information, for example, the...
177
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- In eukaryotic cells, genomic DNAs wrap around beadlike molecules, called nucleosomes, so as to pack more compactly in the nucleus of the cell. The nucleosome is made up ...
157
click to vote
PERCOM
2010
ACM
15 years 10 months ago
2010
ACM
Abstract—In pervasive computing, localizing a user in wireless indoor environments is an important yet challenging task. Among the state-of-art localization methods, fingerprint...
159
Voted
CIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we address a model of self interested information agents competing to perform tasks. The agents are situated in an uncertain environment while different tas...
156
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Data Warehouse (DWH) systems are used by decision makers for performance measurement and decision support. Currently the main focus of the DWH research field is not as mu...