Sciweavers

2562 search results - page 3 / 513
» Components of the Fundamental Category
Sort
View
ACS
2006
15 years 6 months ago
Absolute Lax 2-categories
We have introduced, in a previous paper, the fundamental lax 2-category of a `directed space' X. Here we show that, when X has a T1-topology, this structure can be embedded i...
Marco Grandis
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 5 months ago
Approximation in quantale-enriched categories
Our work is a fundamental study of the notion of approximation in Q-categories and in (U, Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, appro...
Dirk Hofmann, Pawel Waszkiewicz
LREC
2010
159views Education» more  LREC 2010»
15 years 7 months ago
A Snack Implementation and Tcl/Tk Interface to the Fundamental Frequency Variation Spectrum Algorithm
Intonation is an important aspect of vocal production, used for a variety of communicative needs. Its modeling is therefore crucial in many speech understanding systems, particula...
Kornel Laskowski, Jens Edlund
CORR
2011
Springer
182views Education» more  CORR 2011»
15 years 29 days ago
Cyber-Physical Attacks in Power Networks: Models, Fundamental Limitations and Monitor Design
— Future power networks will be characterized by safe and reliable functionality against physical malfunctions and cyber attacks. This paper proposes a unified framework and adv...
Fabio Pasqualetti, Florian Dörfler, Francesco...
SIGPLAN
2008
15 years 5 months ago
Programming languages: fundamental concepts for expanding and disciplining the mind
In this white paper, we propose a list of essential concepts of programming languages, and discuss the techniques we have used to teach these concepts. Categories and Subject Desc...
Mitchell Wand, Daniel P. Friedman