243 search results - page 8 / 49 » Concolic testing for functional languages |
100
Voted
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
201
Voted
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
162
Voted
JMLR
2012
13 years 3 months ago
2012
Models such as pairwise conditional random fields (CRFs) are extremely popular in computer vision and various other machine learning disciplines. However, they have limited expre...
105
Voted
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
110
Voted
NLPRS
2001
Springer
15 years 5 months ago
2001
Springer
This research focuses on analysis of the grammatical functions between an adnoun clause and a noun phrase in Korean. The key task is to determine the relation between two constitu...