3973 search results - page 293 / 795 » Records for Logic Programming |
110
click to vote
ECEASST
2006
15 years 4 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
125
Voted
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Visual compliance has emerged as a new paradigm to ensure that employees comply with processes and policies in a business context [1]. In this paper, we focus on videos from retai...
172
click to vote
CSMR
2011
IEEE
14 years 8 months ago
2011
IEEE
—The advent of globalization has led to the adoption of distributed software development as a common practice. One of its drawbacks -the absence of impromptu meetingsis tackled w...
137
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Many methods for XML processing have been proposed in the last few years. One popular approach is to process XML documents by using existing programming languages. Another popular...
145
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...