4047 search results - page 246 / 810 » Some Properties and Some Problems on Set Functors |
141
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
165
click to vote
SIAMCO
2008
15 years 6 months ago
2008
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
131
click to vote
PRESENCE
1998
15 years 6 months ago
1998
This paper considers some rst principles that might provide a basis for an objective science of experience (presence or immersion). Dimensions that are considered include classica...
147
click to vote
TCS
2010
15 years 4 months ago
2010
Motivated by applications that require mechanisms for describing the structure of object-oriented programs, adaptive star grammars are introduced, and their fundamental properties...
231
click to vote
POST
2012
14 years 2 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...