2208 search results - page 210 / 442 » On Issues of Instance Selection |
131
click to vote
PUC
2000
15 years 3 months ago
2000
Much of the ongoing research in ubiquitous computing has concentrated on providing context information, e.g. location information, to the level of services and applications. Typic...
140
Voted
JSYML
2002
15 years 3 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
114
click to vote
JNSM
1998
15 years 3 months ago
1998
In Telecommunication Management Network (TMN), the interworking of manager and agent requires the sharing of management information defined as Shared Management Knowledge (SMK) in...
131
click to vote
RC
2002
15 years 3 months ago
2002
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
155
click to vote
ENTCS
2007
15 years 3 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...