9425 search results - page 395 / 1885 » Some Notes on Models and Modelling |
117
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
134
click to vote
ICCSA
2007
Springer
15 years 11 months ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
130
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
124
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
123
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Email plays an important role as a medium for the spread of information, ideas, and influence among its users. We present a framework to learn topic-based interactions between pa...