Sciweavers

568 search results - page 92 / 114
» The Great Language Debate
Sort
View
ENTCS
2007
105views more  ENTCS 2007»
13 years 8 months ago
Narrowing and Rewriting Logic: from Foundations to Applications
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
Santiago Escobar, José Meseguer, Prasanna T...
CANDC
2004
ACM
13 years 8 months ago
Identification of related gene/protein names based on an HMM of name variations
Gene and protein names follow few, if any, true naming conventions and are subject to great variation in different occurrences of the same name. This gives rise to two important p...
Lana Yeganova, Lawrence H. Smith, W. John Wilbur
SPE
2002
115views more  SPE 2002»
13 years 8 months ago
D'Agents: Applications and performance of a mobile-agent system
D'Agents is a general-purpose mobile-agent system that has been used in several informationretrieval applications. In this paper, we first examine one such application, opera...
Robert S. Gray, George Cybenko, David Kotz, Ronald...
ICSOC
2010
Springer
13 years 7 months ago
BPEL4Pegasus: Combining Business and Scientific Workflows
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
Mirko Sonntag, Dimka Karastoyanova, Ewa Deelman
GLOBECOM
2010
IEEE
13 years 6 months ago
Cache-Based Scalable Deep Packet Inspection with Predictive Automaton
Abstract--Regular expression (Regex) becomes the standard signature language for security and application detection. Deterministic finite automata (DFAs) are widely used to perform...
Yi Tang, Junchen Jiang, Xiaofei Wang, Yi Wang, Bin...