2765 search results - page 122 / 553 » Works and representation |
177
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...
171
click to vote
HICSS
2006
IEEE
16 years 28 days ago
2006
IEEE
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
181
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Several authors have noticed that the common representation of images as vectors is sub-optimal. The process of vectorization eliminates spatial relations between some of the near...
170
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...
146
click to vote
SIGCSE
2005
ACM
16 years 13 days ago
2005
ACM
This paper tells the story of a student initiative, driven by a desire to diversify the images that surround the field of computer science and those who work in it. Categories and...