Sciweavers

950 search results - page 127 / 190
» Machine semantics
Sort
View
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 9 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
MIR
2003
ACM
147views Multimedia» more  MIR 2003»
15 years 9 months ago
Model checking for detection of sport highlights
Automatic semantic annotation of sports video requires that the domain knowledge is properly included and exploited in the annotation process and that low and intermediate-level f...
Marco Bertini, Alberto Del Bimbo, Walter Nunziati
AGENTS
2001
Springer
15 years 9 months ago
Agents teaching agents to share meaning
The development of the semantic Web will require agents to use common domain ontologies to facilitate communication of conceptual knowledge. However, the proliferation of domain on...
Andrew B. Williams, Zijian Ren
APL
1993
ACM
15 years 8 months ago
The Role of APL and J in High-Performance Computation
Although multicomputers are becoming feasible for solving large problems, they are difficult to program: Extraction of parallelism from scalar languages is possible, but limited....
Robert Bernecky
ELPUB
2007
ACM
15 years 8 months ago
Representing and Coding the Knowledge Embedded in Texts of Health Science Web Published Articles
Despite the fact that electronic publishing is a common activity to scholars, electronic journals are still based in the print model and do not take full advantage of the faciliti...
Carlos Henrique Marcondes, Marília Alvareng...