4211 search results - page 685 / 843 » Types as Abstract Interpretations |
155
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Feedback circuits are important for understanding the emergence of patterns of neural activity. In this contribution we study how a delayed circuit representing a recurre...
152
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. As an important feature of fingerprints, singular points (includingcores and deltas) not only represent the local ridge pattern characteristics, but also determine the to...
117
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
127
click to vote
ICCSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In nested mobile networks with NEMO basic support protocol [3], the pinball routing problem occurs because since it is based on bi-directional tunneling between the mobil...
139
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. To build high-quality personalized Web applications developers have to deal with a number of complex problems. We look at the growing class of personalized Web Applicatio...