1216 search results - page 70 / 244 » Hybrid type checking |
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
105
click to vote
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Manufacturing companies that are expanding their product offering to cover also lifecycle services in the customers’ facilities are facing the increasing complexity and risk to ...
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing...
108
click to vote
ICAPR
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we propose a Neural Net-PMRS hybrid for forecasting time-series data. The neural network model uses the traditional MLP architecture and backpropagation method of tr...
108
click to vote
KES
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. We have been developing a system AirTransNote, a computermediated learning system that employs digital pen to realize papercentric augmented classroom. Although the appro...