344 search results - page 58 / 69 » Mathematical Programming Embeddings of Logic |
SIGSOFT
2006
ACM
14 years 3 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
ACSD
2005
IEEE
14 years 3 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
EMMCVPR
2005
Springer
14 years 3 months ago
2005
Springer
We present a novel approach to the matching of subgraphs for object recognition in computer vision. Feature similarities between object model and scene graph are complemented with ...
CHI
2000
ACM
14 years 2 months ago
2000
ACM
We introduce an educational toy, called curlybot, as the basis for a new class of toys aimed at children in their early stages of development – ages four and up. curlybot is an ...
MEMOCODE
2010
IEEE
13 years 7 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...