3429 search results - page 433 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
144
click to vote
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
164
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Biomedical images and captions are one of the major sources of information in online biomedical publications. They often contain the most important results to be reported, and pro...
159
click to vote
ENTCS
2006
15 years 4 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
146
click to vote
JCDL
2009
ACM
15 years 11 months ago
2009
ACM
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
145
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...