3775 search results - page 484 / 755 » The Expression Problem Revisited |
160
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
166
click to vote
HYBRID
2007
Springer
16 years 26 days ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
169
click to vote
ICDT
2007
ACM
16 years 26 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
187
click to vote
LFCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
187
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...