745 search results - page 138 / 149 » Semantic Network Analysis of Ontologies |
122
click to vote
LOPSTR
2005
Springer
15 years 7 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
106
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
127
click to vote
EUROSSC
2006
Springer
15 years 5 months ago
2006
Springer
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
121
Voted
DASFAA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. As mobile devices proliferate and networks become more locationaware, the corresponding growth in spatio-temporal data will demand analysis techniques to mine patterns th...
116
click to vote
ASAP
2010
IEEE
15 years 3 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...