10568 search results - page 1611 / 2114 » Computer Intelligence and Formalization |
223
click to vote
ICCS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract Bioinformatic data sources available on the web are multiple and heterogenous. The lack of documentation and the difficulty of interaction with these data banks require us...
183
click to vote
ILP
2005
Springer
16 years 21 days ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
212
click to vote
ISPA
2005
Springer
16 years 21 days ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
256
click to vote
CAV
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
161
click to vote
CCS
2004
ACM
16 years 17 days ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...