Sciweavers

26782 search results - page 149 / 5357
» The Importance of Importance
Sort
View
SIGUCCS
2004
ACM
15 years 12 months ago
Walking the tightrope of faculty support
Determining the desired relationship between IT professionals and faculty is an important step in setting expectations and developing programs to achieve that relationship. Two co...
Kelly Wainwright, Bruce Arnold
CONCUR
2004
Springer
15 years 12 months ago
Model Checking Restricted Sets of Timed Paths
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
Nicolas Markey, Jean-François Raskin
FOSSACS
2004
Springer
15 years 12 months ago
Choice in Dynamic Linking
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
Martín Abadi, Georges Gonthier, Benjamin We...
FPL
2004
Springer
122views Hardware» more  FPL 2004»
15 years 12 months ago
Mapping DSP Applications to a High-Performance Reconfigurable Coarse-Grain Data-Path
A high-performance reconfigurable coarse-grain data-path, part of a hybrid reconfigurable platform, is introduced. The data-path consists of coarse grain components that their flex...
Michalis D. Galanis, George Theodoridis, Spyros Tr...
IJCNLP
2004
Springer
15 years 12 months ago
Building a Parallel Bilingual Syntactically Annotated Corpus
This paper describes a process of building a bilingual syntactically annotated corpus, the PCEDT (Prague Czech-English Dependency Treebank). The corpus is being created at Charles...
Jan Curín, Martin Cmejrek, Jirí Have...