191 search results - page 21 / 39 » An Integrated View on Rules and Principles |
DAC
2007
ACM
13 years 11 months ago
2007
ACM
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the con...
CIE
2010
Springer
14 years 14 days ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
SYNTHESE
2010
13 years 6 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
We propose a flexible summarization framework for teamsport videos, which is able to integrate both the knowledge about displayed content (e.g. level of interest, type of view, et...
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...