10916 search results - page 2047 / 2184 » On Constructive Connectives and Systems |
157
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
168
click to vote
UIST
2006
ACM
16 years 12 days ago
2006
ACM
This paper presents a novel interactive system for guiding artists to paint using traditional media and tools. The enabling technology is a multi-projector display capable of cont...
187
click to vote
ICEIS
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
159
click to vote
INFOVIS
2005
IEEE
16 years 1 days ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
179
click to vote
JCDL
2005
ACM
16 years 7 hour ago
2005
ACM
Most digital libraries (DLs) necessarily focus on the complex issues that arise when library collections are freed from their physical anchors in buildings and on paper. Typical i...