156 search results - page 30 / 32 » Process SEER: A Tool for Semantic Effect Annotation of Busin... |
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
FM
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
ECIS
2001
13 years 6 months ago
2001
The majority of SMEs have neither the internal expertise nor financial resources to enable in-house development of e-business and therefore turn to the services of website design ...
INFOVIS
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
ECIR
2008
Springer
13 years 6 months ago
2008
Springer
Word space models, in the sense of vector space models built on distributional data taken from texts, are used to model semantic relations between words. We argue that the high dim...