6527 search results - page 272 / 1306 » On Typing Information Flow |
161
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
154
click to vote
ECTEL
2007
Springer
16 years 26 days ago
2007
Springer
Lifecycle information can be of great help in the retrieval, authoring and usage of both, Learning Resources and Knowledge Documents. In my PhD thesis I want to show how the differ...
142
click to vote
ICANN
2005
Springer
16 years 6 days ago
2005
Springer
We describe a kernel method which uses the maximization of Onicescu’s informational energy as a criteria for computing the relevances of input features. This adaptive relevance d...
149
click to vote
JSAI
2005
Springer
16 years 5 days ago
2005
Springer
Recent development of capture and archival technology for experiences can serve to extend our memory and knowledge and enrich our collaboration with others. Conversation is an impo...
176
click to vote
RSFDGRC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A generalized decision logic in interval-set-valued information tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interva...