Sciweavers

6202 search results - page 265 / 1241
» Without Loss of Generality
Sort
View
DLOG
2008
15 years 9 months ago
Two Upper Bounds for Conjunctive Query Answering in SHIQ
We have shown recently that, in extensions of ALC that involve inverse roles, conjunctive query answering is harder than satisfiability: it is 2-ExpTime-complete in general and NEx...
Carsten Lutz
IGPL
1998
64views more  IGPL 1998»
15 years 6 months ago
Formulas for which Contraction is Admissible
A formula A is said to have the contractionproperty in a logic L i whenever A;A;? `L B (when ? is a multiset) also A;? `L B. In MLL and in MALL without the additive constants a fo...
Arnon Avron
CORR
2011
Springer
158views Education» more  CORR 2011»
15 years 1 months ago
Uniqueness domains and non singular assembly mode changing trajectories
- Parallel robots admit generally several solutions to the direct kinematics problem. The aspects are associated with the maximal singularity free domains without any singular conf...
Damien Chablat, Guillaume Moroz, Philippe Wenger
WWW
2008
ACM
16 years 7 months ago
Secure or insure?: a game-theoretic analysis of information security games
Despite general awareness of the importance of keeping one's system secure, and widespread availability of consumer security technologies, actual investment in security remai...
Jens Grossklags, Nicolas Christin, John Chuang
SDM
2007
SIAM
177views Data Mining» more  SDM 2007»
15 years 8 months ago
Multi-way Clustering on Relation Graphs
A number of real-world domains such as social networks and e-commerce involve heterogeneous data that describes relations between multiple classes of entities. Understanding the n...
Arindam Banerjee, Sugato Basu, Srujana Merugu