Sciweavers

2324 search results - page 80 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
ISORC
1998
IEEE
15 years 2 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
IPPS
2006
IEEE
15 years 3 months ago
A method to improve structural modeling based on conserved domain clusters
—Homology modeling requires an accurate alignment between a query sequence and its homologs with known three-dimensional (3D) information. Current structural modeling techniques ...
Fa Zhang, Lin Xu, Bo Yuan
AAAI
2000
14 years 11 months ago
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
Fangzhen Lin
COLING
2008
14 years 11 months ago
Pedagogically Useful Extractive Summaries for Science Education
This paper describes the design and evaluation of an extractive summarizer for educational science content called COGENT. COGENT extends MEAD based on strategies elicited from an ...
Sebastian de la Chica, Faisal Ahmad, James H. Mart...
EUROGP
2008
Springer
135views Optimization» more  EUROGP 2008»
14 years 11 months ago
Using Genetic Programming for Turing Machine Induction
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
Amashini Naidoo, Nelishia Pillay