3335 search results - page 273 / 667 » A Unified Approach to Modeling and Programming |
217
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
225
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
170
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
207
click to vote
MKWI
2008
15 years 8 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
157
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Building an optimising compiler is a difficult and time consuming task which must be repeated for each generation of a microprocessor. As the underlying microarchitecture changes...