1950 search results - page 147 / 390 » Lambda-Free Logical Frameworks |
148
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Frameworks such as J2EE are designed to simplify the process of developing enterprise applications by handling much of the complexity of concurrency, transaction, and persistence ...
186
click to vote
WILF
2009
Springer
16 years 1 months ago
2009
Springer
A number of generalizations of answer set programming have been proposed in the literature to deal with vagueness, uncertainty, and partial rule satisfaction. We introduce a unifyi...
181
click to vote
KESAMSTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Imitative learning can be considered an essential task of humans development. People use instructions and demonstrations provided by other human experts to acquire knowle...
163
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Similarity retrieval have been widely used in many practical search applications. A similarity query model can be viewed as a logical combination of a set of similarity predicates....
172
click to vote
ECSA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...