Sciweavers

7623 search results - page 361 / 1525
» Constructive Volume Modeling
Sort
View
174
Voted
IPPS
2002
IEEE
15 years 11 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
DSVIS
2000
Springer
15 years 11 months ago
User Interface Declarative Models and Development Environments: A Survey
Model-Based User Interface Development Environments (MB-UIDEs) provide a context within which user interface declarative models can be constructed and related, as part of the user...
Paulo Pinheiro da Silva
CEAS
2006
Springer
15 years 10 months ago
An Adaptive, Semi-Structured Language Model Approach to Spam Filtering on a New Corpus
Motivated by current efforts to construct more realistic spam filtering experimental corpora, we present a newly assembled, publicly available corpus of genuine and unsolicited (s...
Ben Medlock
CP
2006
Springer
15 years 10 months ago
Constraint Programming Models for Graceful Graphs
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
Barbara M. Smith
E4MAS
2006
Springer
15 years 10 months ago
A Unified Model for Physical and Social Environments
Abstract. The AGRE model proposed by Ferber et al. is based on an interesting generalization of both physical and social environments. In this paper we revisit the AGRE model and e...
José-Antonio Báez-Barranco, Tiberiu ...