1018 search results - page 104 / 204 » Property Testing in Computational Geometry |
73
Voted
COLING
2010
14 years 7 months ago
2010
We present a library of implemented HPSG analyses for argument optionality based on typological studies of this phenomenon in the world's languages, developed in the context ...
154
click to vote
BIRTHDAY
2012
Springer
13 years 8 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
121
click to vote
JMLR
2012
13 years 2 months ago
2012
We introduce the graphlet decomposition of a weighted network, which encodes a notion of social information based on social structure. We develop a scalable algorithm, which combi...
84
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
105
click to vote
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...