Sciweavers

239 search results - page 33 / 48
» Temporal Languages for Epistemic Programs
Sort
View
IJCAI
1997
14 years 10 months ago
Structural Inferences from Massive Datasets
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
Kenneth Yip
FDL
2008
IEEE
14 years 9 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
ICSE
1997
IEEE-ACM
15 years 1 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
ASPLOS
1998
ACM
15 years 1 months ago
Cache-Conscious Data Placement
As the gap between memory and processor speeds continues to widen, cache efficiency is an increasingly important component of processor performance. Compiler techniques have been...
Brad Calder, Chandra Krintz, Simmi John, Todd M. A...
LREC
2008
180views Education» more  LREC 2008»
14 years 11 months ago
Romanian Semantic Role Resource
Semantic databases are a stable starting point in developing knowledge based systems. Since creating language resources demands many temporal, financial and human resources, a pos...
Diana Trandabat, Maria Husarciuc