Sciweavers

470 search results - page 44 / 94
» FORM facts
Sort
View
SEMCO
2007
IEEE
14 years 4 months ago
Lexical and Discourse Analysis of Online Chat Dialog
One of the ultimate goals of natural language processing (NLP) systems is understanding the meaning of what is being transmitted, irrespective of the medium (e.g., written versus ...
Eric N. Forsythand, Craig H. Martell
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
14 years 4 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
IESS
2007
Springer
92views Hardware» more  IESS 2007»
14 years 4 months ago
An Interactive Model Re-Coder for Efficient SoC Specification
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
Pramod Chandraiah, Rainer Dömer
ICMCS
2006
IEEE
101views Multimedia» more  ICMCS 2006»
14 years 4 months ago
SIM: Scalable Island Multicast for Peer-to-Peer Media Streaming
Despite the fact that global multicast is still not possible in today’s Internet, many local networks are already multicastcapable (the so-called multicast “islands”). Howev...
Xing Jin, Kan-Leung Cheng, S.-H. Gary Chan
ICRA
2006
IEEE
106views Robotics» more  ICRA 2006»
14 years 4 months ago
An Improved Method for the Geometrical Calibration of Parallelogram-based Parallel Robots
: This paper presents an improved method for the geometrical calibration of parallel robots for which the structure is based upon some parallelogram mechanisms. Its originality is ...
Ludovic Savoure, Patrick Maurine, David Corbel, S&...