824 search results - page 98 / 165 » Constructing Functional Programs for Grammar Analysis Proble... |
108
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
124
click to vote
ICFP
1998
ACM
15 years 7 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
136
click to vote
BMVC
2001
15 years 5 months ago
2001
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...
160
click to vote
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
127
click to vote
CIARP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...