1604 search results - page 126 / 321 » Development Separation in Lambda-Calculus |
APLAS
2004
ACM
14 years 3 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
PPPJ
2004
ACM
14 years 3 months ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
AOSE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
EUROGP
2004
Springer
14 years 3 months ago
2004
Springer
Parsing and Tagging are very important tasks in Natural Language Processing. Parsing amounts to searching the correct combination of grammatical rules among those compatible with a...
ICA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Recently, the authors developed the Minimax Mutual Information algorithm for linear ICA of real-valued mixtures, which is based on a density estimate stemming from Jaynes...