6300 search results - page 185 / 1260 » We have it easy, but do we have it right |
111
click to vote
DLT
2006
15 years 2 months ago
2006
We investigate factorizations of regular languages in terms of prime languages. A language is said to be strongly prime decomposable if any way of factorizing the language yields a...
APAL
2007
15 years 1 months ago
2007
We give an exponential lower bound on number of proof-lines in intuitionistic propositional logic, IL, axiomatised in the usual Frege-style fashion; i.e., we give an example of IL...
113
click to vote
FLAIRS
2006
15 years 2 months ago
2006
Intelligent Tutoring Systems, while effective at producing student learning [2,7], are notoriously costly to construct [1,9], and require PhD level experience in cognitive science...
VTC
2006
IEEE
15 years 7 months ago
2006
IEEE
— Precise modelling of the Direction of Arrival (DoA) and Direction of Departure (DoD) of multipath components (MPCs) in a Multiple-Input Multiple-Output (MIMO) channel based on ...
120
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...