4047 search results - page 226 / 810 » Some Properties and Some Problems on Set Functors |
165
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
156
click to vote
LOGCOM
2008
15 years 6 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
166
click to vote
INFOCOM
2007
IEEE
16 years 22 days ago
2007
IEEE
— We consider the problem of broadcasting a live stream of data in an unstructured network. Broadcasting has been studied extensively for networks with capacity constraints at th...
136
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant " space, ...
155
click to vote
IFIP3
2008
15 years 7 months ago
2008
The Web is widely used, in educational settings, typically as a repository of contents to be learned. Within this approach, the Web-searching process tends to be perceived merely a...