2335 search results - page 268 / 467 » Type Checking Type Classes |
127
click to vote
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
100
Voted
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
119
Voted
ALT
1995
Springer
15 years 4 months ago
1995
Springer
This paper characterizes the polynomial time learnability of TPk, the class of collections of at most k rst-order terms. A collection in TPk de nes the union of the languages de n...
105
Voted
BMCBI
2008
15 years 24 days ago
2008
Background: Feature selection is a pattern recognition approach to choose important variables according to some criteria in order to distinguish or explain certain phenomena (i.e....
112
click to vote
COMCOM
2004
15 years 16 days ago
2004
In the emerging next-generation transport networks, called intelligent optical transport networks, DWDM-based optical components like add-drop multiplexers and optical cross conne...