Sciweavers

1532 search results - page 178 / 307
» The Symbol Grounding Problem
Sort
View
141
Voted
ECLIPSE
2004
ACM
15 years 10 months ago
Debugging distributed object applications with the Eclipse platform
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
Giuliano Mega, Fabio Kon
ADG
2004
Springer
189views Mathematics» more  ADG 2004»
15 years 10 months ago
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation
In this paper, we study the problem of reconstructing the polyhedral structures and geometric positions of a general nD polyhedral scene from a single 2D line drawing. With the ide...
Hongbo Li
FSTTCS
2004
Springer
15 years 10 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
TEX
2004
Springer
207views Latex» more  TEX 2004»
15 years 10 months ago
Arabic Mathematical e-Documents
What problems do e-documents with mathematical expressions in an Arabic presentation present? In addition to the known difficulties of handling mathematical expressions based on L...
Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami
FDL
2003
IEEE
15 years 9 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...