294 search results - page 26 / 59 » User Feedback in Probabilistic Integration |
174
Voted
ENTCS
2006
15 years 5 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
151
click to vote
WSDM
2009
ACM
16 years 3 days ago
2009
ACM
Aggregated search refers to the integration of content from specialized corpora or verticals into web search results. Aggregation improves search when the user has vertical intent...
146
click to vote
SIGCSE
2005
ACM
15 years 11 months ago
2005
ACM
Undergraduate computer science students have few opportunities to experience scientific investigation and computer science research. A human-computer interaction (HCI) course can ...
160
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
157
click to vote
BMAS
2000
IEEE
15 years 9 months ago
2000
IEEE
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...