2335 search results - page 310 / 467 » Type Checking Type Classes |
154
Voted
RTS
2010
14 years 11 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...
131
click to vote
IAT
2010
IEEE
14 years 10 months 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...
119
Voted
IGARSS
2010
14 years 10 months 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...
91
Voted
EMNLP
2009
14 years 10 months 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...
101
Voted
COLING
2010
14 years 7 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 ...