5863 search results - page 1004 / 1173 » On Model-Checking of P Systems |
142
click to vote
PVM
2009
Springer
16 years 1 months ago
2009
Springer
Petascale machines with close to a million processors will soon be available. Although MPI is the dominant programming model today, some researchers and users wonder (and perhaps e...
158
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
This paper explores the application of restricted relationship graphs (RDF) and statistical NLP techniques to improve named entity annotation in challenging Informal English domain...
170
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
— To address the performance limitation brought by the scaling issues of on-chip global wires, a new configuration for global wiring using on-chip lossy transmission lines is pr...
159
click to vote
ASSETS
2009
ACM
16 years 1 months ago
2009
ACM
Deaf and hard of hearing students must juggle their visual attention in current classroom settings. Managing many visual sources of information (instructor, interpreter or caption...
163
click to vote
COMPGEOM
2009
ACM
16 years 1 months ago
2009
ACM
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...