Sciweavers

4344 search results - page 511 / 869
» The resourcefulness of everyday design
Sort
View
DIS
2008
Springer
15 years 8 months ago
Active Learning for High Throughput Screening
Abstract. An important task in many scientific and engineering disciplines is to set up experiments with the goal of finding the best instances (substances, compositions, designs) ...
Kurt De Grave, Jan Ramon, Luc De Raedt
ER
2008
Springer
91views Database» more  ER 2008»
15 years 8 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
FPL
2008
Springer
91views Hardware» more  FPL 2008»
15 years 8 months ago
Power efficient DSP datapath configuration methodology for FPGA
Exploiting the underutilisation of variable-length DSP algorithms during normal operation is vital, when seeking to maximise the achievable functionality of an application within ...
Stephen McKeown, Roger Woods, John McAllister
AAAI
2010
15 years 8 months ago
Materializing Inferred and Uncertain Knowledge in RDF Datasets
There is a growing need for efficient and scalable semantic web queries that handle inference. There is also a growing interest in representing uncertainty in semantic web knowled...
James P. McGlothlin, Latifur R. Khan