11051 search results - page 2 / 2211 » An Investigation of Generalized Cases |
DGCI
2000
Springer
13 years 9 months ago
2000
Springer
The paper presents a new method of investigating topological properties of three-dimensional manifolds by means of computers. Manifolds are represented as finite cell complexes. Th...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
In this contribution, we study companies engaging in B2C-E-Commerce and their ability to manage the relationship with their customers. We refer to this as companies’ ECCRM-capab...
STACS
2007
Springer
13 years 11 months ago
2007
Springer
We consider Sturmian trees as a natural generalization of Sturmian words. A Sturmian tree is a tree having n+1 distinct subtrees of height n for each n. As for the case of words, S...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
ISWC
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper describes a preliminary investigation of how the capabilities of wearable computers may be used to provide task guidance in mobile environments. Specifically, this stud...