3299 search results - page 180 / 660 » A general mathematics of names |
138
click to vote
GMP
2006
IEEE
16 years 17 days ago
2006
IEEE
Proper treatment of selections is essential in parametric feature-based design. Data exchange is one of the most important operators in any design paradigm. In this paper we addre...
123
click to vote
RAID
1999
Springer
15 years 10 months ago
1999
Springer
An intrusion-detection system (IDS) for an on-going attack is described. Prior to an attack, an IDS operates in anticipation of a general threat. During an attack, the IDS can dea...
201
click to vote
ENTCS
2007
15 years 6 months ago
2007
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
173
click to vote
IIR
2010
15 years 5 months ago
2010
In this paper we present a general purpose solution to Web content perusal by means of mobile devices, named Social Context-Aware Browser. This is a novel approach for the informa...
169
click to vote
JUCS
2008
15 years 6 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...