Sciweavers

10542 search results - page 46 / 2109
» A General Notion of Useful Information
Sort
View
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 2 months ago
Liberalizing Dependency
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
Avik Chaudhuri
MST
2008
94views more  MST 2008»
15 years 1 months ago
Partial Bi-immunity, Scaled Dimension, and NP-Completeness
The Turing and many-one completeness notions for NP have been previously separated under measure, genericity, and bi-immunity hypotheses on NP. The proofs of all these results rel...
John M. Hitchcock, Aduri Pavan, N. V. Vinodchandra...
ECAI
2000
Springer
15 years 6 months ago
Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis
We introduce here the notions of identity and unity as they have been discussed in Philosophy, and then provide additional clarifications needed to use these notions as fundamental...
Nicola Guarino, Christopher A. Welty
OTM
2005
Springer
15 years 7 months ago
Selection Using Non-symmetric Context Areas
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
Diane Lingrand, Stephane Lavirotte, Jean-Yves Tigl...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 3 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh