Sciweavers

6960 search results - page 974 / 1392
» Continuity Analysis of Programs
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 11 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
118
Voted
KI
2007
Springer
15 years 11 months ago
On Constructing a Communicative Space in HRI
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
Claudia Muhl, Yukie Nagai, Gerhard Sagerer
SCIA
2007
Springer
129views Image Analysis» more  SCIA 2007»
15 years 11 months ago
Efficiently Capturing Object Contours for Non-Photorealistic Rendering
Non-photorealistic rendering (NPR) techniques aim to outline the shape of objects and reduce visual clutter such as shadows and inner texture edges. As the first phase result of ou...
Jiyoung Park, Juneho Yi
ACSAC
2006
IEEE
15 years 11 months ago
Addressing SMTP-Based Mass-Mailing Activity within Enterprise Networks
Malicious mass-mailing activity on the Internet is a serious and continuing threat that includes mass-mailing worms, spam, and phishing. A mechanism commonly used to deliver such ...
David Whyte, Paul C. van Oorschot, Evangelos Krana...
DFT
2006
IEEE
120views VLSI» more  DFT 2006»
15 years 11 months ago
On-Line Mapping of In-Field Defects in Image Sensor Arrays
Continued increase in complexity of digital image sensors means that defects are more likely to develop in the field, but little concrete information is available on in-field defe...
Jozsef Dudas, Cory Jung, Linda Wu, Glenn H. Chapma...