5550 search results - page 959 / 1110 » Different Approaches to Proof Systems |
181
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
216
click to vote
MOBIDE
2003
ACM
15 years 12 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
165
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Recently Viola et al. have introduced a rapid object detection scheme based on a boosted cascade of simple feature classifiers. In this paper we introduce and empirically analysis ...
208
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
This paper applies a new traffic model, iterated function systems (IFS) for network traffic modelling, to explore computer network behaviour and analyse network performance. IFS mo...
195
click to vote
GRID
2003
Springer
15 years 11 months ago
2003
Springer
Data-sharing scientific communities use storage systems as distributed data stores by replicating content. In such highly replicated environments, a particular dataset can reside ...