1999 search results - page 328 / 400 » Dependently Typed Grammars |
150
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
172
click to vote
GCB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract: Investigations into the origins and evolution of regulatory mechanisms require quantitative estimates of the abundance and co-occurrence of functional protein domains amo...
171
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...
145
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
When multiple ontologies are used within one application system, aligning the ontologies is a prerequisite for interoperability and unhampered semantic navigation and search. Vario...
197
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
The handshake gesture is an important part of the social etiquette in many cultures. It lies at the core of many human interactions, either in formal or informal settings: exchangi...