Sciweavers

4870 search results - page 415 / 974
» Challenges of component-based development
Sort
View
FOAL
2007
ACM
15 years 8 months ago
Typing for a minimal aspect language: preliminary report
We present a preliminary report on typing systems for polyadic µABC, aspect oriented programming—pointcuts and advice—and nothing else. Tuples of uninterpreted names are used...
Peter Hui, James Riely
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
ECAI
2008
Springer
15 years 8 months ago
Justification-Based Non-Clausal Local Search for SAT
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...
ACISICIS
2010
IEEE
15 years 8 months ago
New Interface Using Palm and Fingertip without Marker for Ubiquitous Environment
We developed new interactive display system called the palm display. Our prototype system shows the image of graphical user interface on the palm and allows the user to have intera...
Seokhwan Kim, Shin Takahashi, Jiro Tanaka
AAAI
2010
15 years 8 months ago
Generalized Task Markets for Human and Machine Computation
We discuss challenges and opportunities for developing generalized task markets where human and machine intelligence are enlisted to solve problems, based on a consideration of th...
Dafna Shahaf, Eric Horvitz