315 search results - page 49 / 63 » Using Logic in the Generation of Referring Expressions |
AOSD
2008
ACM
14 years 11 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
The paper deals with grouping of edges to contours of shapes using only local symmetry and continuity. Shape skeletons are used to generate the search space for a version of the M...
114
click to vote
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
62
Voted
CASCON
1996
14 years 10 months ago
1996
Today's advanced CASE tools, combining the building-block and generative approaches to software reuse, are effective for reuse of software components and procedures in the pr...