2335 search results - page 310 / 467 » Type Checking Type Classes |
169
click to vote
RTS
2010
15 years 1 months ago
2010
Reader preference, writer preference, and task-fair reader-writer locks are shown to cause undue blocking in multiprocessor real-time systems. Phase-fair reader writer locks, a ne...
149
click to vote
IAT
2010
IEEE
15 years 24 days ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
133
click to vote
IGARSS
2010
15 years 22 days ago
2010
The segmentation stage is a key aspect of an object-based image analysis system. However, the segmentation quality is usually difficult to evaluate for satellite images. The Synth...
115
click to vote
EMNLP
2009
15 years 18 days ago
2009
In the early days of email, widely-used conventions for indicating quoted reply content and email signatures made it easy to segment email messages into their functional parts. To...
114
click to vote
COLING
2010
14 years 9 months ago
2010
Studies of discourse relations have not, in the past, attempted to characterize what serves as evidence for them, beyond lists of frozen expressions, or markers, drawn from a few ...