Sciweavers

2720 search results - page 423 / 544
» Design tools for emerging technologies
Sort
View
IAT
2008
IEEE
15 years 6 months ago
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents Playing in CARTAGO Environments
In the context of cognitive agent programming frameworks, a main research effort accounts for exploiting goalorientation for specifying and enacting agent interaction. Existing re...
Michele Piunti, Alessandro Ricci, Lars Braubach, A...
WWW
2004
ACM
16 years 7 months ago
How to make a semantic web browser
Two important architectural choices underlie the success of the Web: numerous, independently operated servers speak a common protocol, and a single type of client--the Web browser...
D. A. Quan, R. Karger
BMCBI
2008
105views more  BMCBI 2008»
15 years 6 months ago
Using the longest significance run to estimate region-specific p-values in genetic association mapping studies
Background: Association testing is a powerful tool for identifying disease susceptibility genes underlying complex diseases. Technological advances have yielded a dramatic increas...
Ie-Bin Lian, Yi-Hsien Lin, Ying-Chao Lin, Hsin-Cho...
DAC
2001
ACM
16 years 7 months ago
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukul...
DAC
2005
ACM
16 years 7 months ago
Flexible ASIC: shared masking for multiple media processors
ASIC provides more than an order of magnitude advantage in terms of density, speed, and power requirement per gate. However, economic (cost of masks) and technological (deep micro...
Jennifer L. Wong, Farinaz Koushanfar, Miodrag Potk...