2335 search results - page 275 / 467 » Type Checking Type Classes |
114
Voted
ESOP
2010
Springer
15 years 4 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
80
Voted
WSC
2008
15 years 3 months ago
2008
The aim of this research is to introduce the reader to a new perspective on the framework for designing a manufacturing line project in Japanese automobile manufacturing plants. A...
132
click to vote
LREC
2010
15 years 2 months ago
2010
We propose a Word Sense Disambiguation (WSD) method that accurately classifies ambiguous words to concepts in the Associative Concept Dictionary (ACD) even when the test corpus an...
102
Voted
IADIS
2003
15 years 2 months ago
2003
Our research focuses on web information management for people who want to monitor and use the World Wide Web (WWW) information, as their information resource. Web information is m...
TREC
2007
15 years 1 months ago
2007
Abstract: In our participation in the TREC 2007 Question Answering (QA) track, we focused on three tasks. First, we processed the new blog corpus and converted it to formats which ...