1143 search results - page 199 / 229 » Mental models of recursion |
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
We describe a recursive algorithm to quickly compute the N nearest neighbors according to a similarity measure in a metric space. The algorithm exploits an intrinsic property of a...
MATA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Mobile agent systems provide new perspectives for distributed e-commerce applications. These applications may present specific restrictions, making mobile agent systems ...
CEAS
2004
Springer
14 years 1 months ago
2004
Springer
We present an end-to-end system that extracts a user’s social network and its members’ contact information given the user’s email inbox. The system identifies unique people...
ISQED
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...