Sciweavers

470 search results - page 44 / 94
» FORM facts
Sort
View
SEMCO
2007
IEEE
15 years 6 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
117
Voted
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 6 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
133
Voted
IESS
2007
Springer
92views Hardware» more  IESS 2007»
15 years 6 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
112
Voted
ICMCS
2006
IEEE
101views Multimedia» more  ICMCS 2006»
15 years 6 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
76
Voted
ICRA
2006
IEEE
106views Robotics» more  ICRA 2006»
15 years 6 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&...