Sciweavers

555 search results - page 89 / 111
» Complexity of Operations on Cofinite Languages
Sort
View
113
Voted
WIESS
2000
15 years 5 months ago
Stub-Code Performance Is Becoming Important
As IPC mechanisms become faster, stub-code efficiency becomes a performance issue for local client/server RPCs and inter-component communication. Inefficient and unnecessary compl...
Andreas Haeberlen, Jochen Liedtke, Yoonho Park, La...
147
Voted
ICPR
2006
IEEE
16 years 4 months ago
Human-Robot Interaction by Whole Body Gesture Spotting and Recognition
An intelligent robot is required for natural interaction with humans. Visual interpretation of gestures can be useful in accomplishing natural Human-Robot Interaction (HRI). Previ...
A-Yeon Park, Hee-Deok Yang, Seong-Whan Lee
142
Voted
VLSID
2002
IEEE
177views VLSI» more  VLSID 2002»
16 years 4 months ago
RTL-Datapath Verification using Integer Linear Programming
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
Raik Brinkmann, Rolf Drechsler
126
Voted
ICCSA
2009
Springer
15 years 10 months ago
Designing Data Warehouses for Geographic OLAP Querying by Using MDA
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
Octavio Glorio, Juan Trujillo
114
Voted
ICEIS
2009
IEEE
15 years 10 months ago
Collaborative, Participative and Interactive Enterprise Modeling
Enterprise modeling is a daunting task to be carried out from a single perspective. A challenge to this whole complexity is conflicting descriptions given by different actors when ...
Joseph Barjis