294 search results - page 26 / 59 » User Feedback in Probabilistic Integration |
146
Voted
ENTCS
2006
15 years 3 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...
130
Voted
WSDM
2009
ACM
15 years 10 months 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...
124
Voted
SIGCSE
2005
ACM
15 years 9 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 ...
141
Voted
DAC
1999
ACM
15 years 7 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...
132
click to vote
BMAS
2000
IEEE
15 years 7 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...