736 search results - page 91 / 148 » A Science of Reasoning (Extended Abstract) |
GI
2007
Springer
14 years 1 months ago
2007
Springer
: Business information systems provide computer support for decision making across huge data sets. Smart Items are miniaturized computer and sensing systems embedded into physical ...
STACS
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. Ordered binary decision diagrams (OBDDs) nowadays belong to the most common representation types for Boolean functions. Although they allow important operations such as s...
ERSHOV
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Searching in metric spaces is a very active field since it offers methods for indexing and searching by similarity in collections of unstructured data. These methods sele...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
GG
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....