3273 search results - page 300 / 655 » types 2007 |
145
click to vote
COSIT
2007
Springer
16 years 28 days ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
150
click to vote
CP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
205
click to vote
CSCWD
2007
Springer
16 years 28 days ago
2007
Springer
Heterogeneity and uncertainty are two main characteristics of pervasive computing environment and CSCW. CSCW can be viewed as a special case of pervasive computing. Middleware is ...
193
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
181
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...