Sciweavers

1733 search results - page 164 / 347
» There is more to context than location
Sort
View
CORR
2006
Springer
78views Education» more  CORR 2006»
15 years 6 months ago
Opti{c,m}al: Optical/Optimal Routing in Massively Dense Wireless Networks
Abstract-- We study routing for massively dense wireless networks, i.e., wireless networks that contain so many nodes that, in addition to their usual microscopic description, a no...
Roberto Catanuto, Stavros Toumpis, Giacomo Morabit...
KER
2008
103views more  KER 2008»
15 years 6 months ago
A context-sensitive framework for lexical ontologies
Human categorization is neither a binary nor a context-free process. Rather, the criteria that govern the use and recognition of certain concepts may be satisfied to different deg...
Tony Veale, Yanfen Hao
TVLSI
2008
124views more  TVLSI 2008»
15 years 6 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan
CL
1999
Springer
15 years 6 months ago
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
Jimmy Ho-Man Lee, Ho-fung Leung
JUCS
2002
80views more  JUCS 2002»
15 years 6 months ago
On the Power of P Systems with Symport Rules
: A purely communicative variant of P systems was considered recently, based on the trans-membrane transport of couples of chemicals. When using both symport rules (the chemicals p...
Carlos Martín-Vide, Andrei Paun, Gheorghe P...