6358 search results - page 1227 / 1272 » Computing spectral sequences |
167
click to vote
ICST
2009
IEEE
16 years 20 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
216
click to vote
IEEEPACT
2009
IEEE
16 years 20 days ago
2009
IEEE
Abstract—Optimizing compilers apply numerous interdependent optimizations, leading to the notoriously difficult phase-ordering problem — that of deciding which transformations...
204
click to vote
IMC
2009
ACM
16 years 15 days ago
2009
ACM
Understanding how users behave when they connect to social networking sites creates opportunities for better interface design, richer studies of social interactions, and improved ...
175
click to vote
VR
2008
IEEE
16 years 11 days ago
2008
IEEE
The use of Virtual Environments for Training is strongly stimulated by important needs for training on sensitive equipments. Yet, developing such an application is often done with...
190
click to vote
AIMSA
2008
Springer
16 years 11 days ago
2008
Springer
Abstract. The paper addresses an important challenge for the automatic processing of English written text: understanding noun compounds’ semantics. Following Downing (1977) [1], ...