9989 search results - page 1671 / 1998 » A CLP Approach to Modelling Systems |
185
Voted
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper the interference channel is extended by additional relay nodes in order to investigate the influence of interference on the design and performance of relaying protoco...
222
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we briefly overview emerging trends in `Adaptive Morphology', i.e. work related to the theory and/or applications of image analysis filters, systems, or algorit...
210
click to vote
IPAW
2010
15 years 4 months ago
2010
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
200
click to vote
ECTEL
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
194
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...