2335 search results - page 268 / 467 » Type Checking Type Classes |
149
Voted
CDC
2009
IEEE
15 years 11 days 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...
115
Voted
ACSC
2004
IEEE
15 years 6 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...
135
click to vote
ALT
1995
Springer
15 years 6 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...
127
Voted
BMCBI
2008
15 years 2 months 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....
127
Voted
COMCOM
2004
15 years 2 months 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...