1382 search results - page 15 / 277 » Interactive pen-and-ink illustration |
170
click to vote
JANCL
2006
15 years 6 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
158
click to vote
PUC
2010
15 years 24 days ago
2010
People record and share their experiences through text, audio and video. Increasingly they do this blogging from mobile devices. We illustrate a novel, mobile, low interaction cos...
166
click to vote
ICANN
2001
Springer
15 years 10 months ago
2001
Springer
A neural-network-based approach is proposed in this paper providing multimedia systems with the ability to adapt their performance to the specific needs and characteristics of thei...
145
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
Time-domain limitations due to right half-plane zeros and poles in linear multivariable control systems are studied. Lower bounds on the interaction are derived. They show not onl...
178
click to vote
IBERAMIA
2010
Springer
15 years 4 months ago
2010
Springer
We define a class of graphs that summarize in a compact visual way the interaction structure between binary multivariate characteristics. This allows studying the conditional depe...