8512 search results - page 194 / 1703 » Computing Theory With Relevance |
166
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
—Spatial computing systems are characterized by the extended physical environment in which they exist and function. Often this environment can be manipulated in various ways by t...
174
click to vote
ICPPW
2009
IEEE
15 years 11 months ago
2009
IEEE
—Federated computing environments offer requestors the ability to dynamically invoke services offered by collaborating providers in the virtual service network. Without an effici...
141
click to vote
IJFCS
2006
15 years 4 months ago
2006
Abstract. Local similarity computation between two sequences permits detecting all the relevant alignments present between subsequences thereof. A well-known dynamic programming al...
141
click to vote
JUCS
2010
14 years 11 months ago
2010
: Visualizing and understanding large conceptual schemas requires the use of specific methods. These methods generate clustered, summarized, or focused schemas that are easier to v...
137
click to vote
CIE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...