Sciweavers

555 search results - page 47 / 111
» Between Symbol and Language-in-use
Sort
View
ISMIS
2009
Springer
14 years 2 months ago
Discovering Structured Event Logs from Unstructured Audit Trails for Workflow Mining
Workflow mining aims to find graph-based process models based on activities, emails, and various event logs recorded in computer systems. Current workflow mining techniques mainly ...
Liqiang Geng, Scott Buffett, Bruce Hamilton, Xin W...
VTC
2007
IEEE
116views Communications» more  VTC 2007»
14 years 2 months ago
On the Use of Implicit Pilots for Channel Estimation with OFDM Modulations
Abstract - A coherent detection of OFDM signals (Orthogonal Frequency Division Multiplexing) allows good performances in severely time-dispersive channels. However, coherent receiv...
Rui Dinis, Nuno Souto, João Carlos Silva, A...
ASYNC
2005
IEEE
118views Hardware» more  ASYNC 2005»
14 years 1 months ago
Modeling and Verifying Circuits Using Generalized Relative Timing
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Ste...
CP
2004
Springer
14 years 1 months ago
The Cardinality Matrix Constraint
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling , and timetabling. These are hard computational problem...
Jean-Charles Régin, Carla P. Gomes
DIAGRAMS
2004
Springer
14 years 1 months ago
An Architecture for Problem Solving with Diagrams
In problem solving a goal/subgoal is either solved by generating needed information from current information, or further decomposed into additional subgoals. In traditional problem...
B. Chandrasekaran, Unmesh Kurup, Bonny Banerjee, J...