3824 search results - page 184 / 765 » Geometry Constructions Language |
135
Voted
MLMTA
2007
15 years 2 months ago
2007
- While grammar inference (or grammar induction) has found extensive application in the areas of robotics, computational biology, speech and pattern recognition, its application to...
103
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
104
Voted
HASKELL
2008
ACM
15 years 1 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
90
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
88
Voted
RR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...