987 search results - page 151 / 198 » Ludics and Its Applications to Natural Language Semantics |
PEPM
1999
ACM
15 years 4 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
CIDM
2007
IEEE
15 years 3 months ago
2007
IEEE
Kernel methods are effective approaches to the modeling of structured objects in learning algorithms. Their major drawback is the typically high computational complexity of kernel ...
ISMB
1993
15 years 1 months ago
1993
There is no automatic mechanism to integrate information between heterogeneous genome maps. Currently, integration is a di cult, manual process. We have developed a process for kn...
182
click to vote
POPL
2004
ACM
16 years 4 days ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
102
click to vote
ADG
2006
Springer
15 years 3 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...